diff options
| author | pieter | 1999-11-16 15:17:56 +0000 |
|---|---|---|
| committer | pieter | 1999-11-16 15:17:56 +0000 |
| commit | 0e6cf06e71de30d20e95830419513e5af18d1341 (patch) | |
| tree | af66185abf30020185f31e7e76f35aa865a51e6c | |
| parent | removed debugging output (diff) | |
:: T = E.x Cons x T | Nil
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@52 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
| -rw-r--r-- | frontend/parse.icl | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/frontend/parse.icl b/frontend/parse.icl index d69bece..fb4d0e5 100644 --- a/frontend/parse.icl +++ b/frontend/parse.icl @@ -1147,12 +1147,12 @@ where # (fields, pState) = wantFields td_name pState pState = wantToken TypeContext "record type def" CurlyCloseToken pState (rec_cons_ident, pState) = stringToIdent ("_" + name) IC_Expression pState - -> (PD_Type { td & td_rhs = SelectorList rec_cons_ident exi_vars fields }, pState) - ColonToken - | isEmpty exi_vars + -> (PD_Type { td & td_rhs = SelectorList rec_cons_ident exi_vars fields }, pState) + ColonToken + | isEmpty exi_vars -> (PD_Erroneous, parseError "Algebraic type" No "no colon, :," pState) -> (PD_Erroneous, parseError "Algebraic type" No "in this version of Clean no colon, :, after quantified variables" pState) - _ + _ # (condefs, pState) = want_constructor_list exi_vars token pState td = { td & td_rhs = ConsList condefs } | annot == AN_None @@ -2737,7 +2737,7 @@ tryTypeVar pState tryTypeVarT :: !Token !ParseState -> (!Bool, TypeVar, !ParseState) tryTypeVarT (IdentToken name) pState | isUpperCaseName name - = (False, abort "no UC ident", pState) + = (False, abort "no UC ident", tokenBack pState) # (id, pState) = stringToIdent name IC_Type pState = (True, MakeTypeVar id, pState) tryTypeVarT token pState |