aboutsummaryrefslogtreecommitdiff
path: root/frontend/parse.icl
diff options
context:
space:
mode:
authorjohnvg2005-11-01 11:43:38 +0000
committerjohnvg2005-11-01 11:43:38 +0000
commit2ca4ad0f34d2b4b47525caad8dfd583c5d8954cf (patch)
tree42204b69fc5ff4f2bbc964f00c9c85388afbf6c1 /frontend/parse.icl
parentpass -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