diff options
author | johnvg | 2005-11-01 11:43:38 +0000 |
---|---|---|
committer | johnvg | 2005-11-01 11:43:38 +0000 |
commit | 2ca4ad0f34d2b4b47525caad8dfd583c5d8954cf (patch) | |
tree | 42204b69fc5ff4f2bbc964f00c9c85388afbf6c1 /frontend/parse.icl | |
parent | pass -fusion flag to backend (diff) |
fix type error for correct programs using type synonyms with a type variable on the rhs
(see example below)
by expanding the type synonym if a type variable is unified with
a type synonym that contains that variable.
:: Parser b a :== (YieldParser b a) -> (ID b) -> b
:: YieldParser b a :== a -> (ID b) -> b
:: ID b :== b
returnP :: a -> Parser b a
returnP x = \yp -> yp x
failP :: Parser b a
failP = \yp fp -> fp
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1555 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/parse.icl')
0 files changed, 0 insertions, 0 deletions