diff options
Diffstat (limited to 'frontend/parse.icl')
| -rw-r--r-- | frontend/parse.icl | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/frontend/parse.icl b/frontend/parse.icl index 1ad3a95..b1b16f5 100644 --- a/frontend/parse.icl +++ b/frontend/parse.icl @@ -569,6 +569,7 @@ where # (ok, {at_type=type}, pState) = trySimpleType TA_None pState # (ident, pState) = stringToIdent name (IC_GenericCase type) pState # (type_CONS_ident, pState) = stringToIdent "CONS" IC_Type pState + # (type_RECORD_ident, pState) = stringToIdent "RECORD" IC_Type pState # (type_FIELD_ident, pState)= stringToIdent "FIELD" IC_Type pState # (type_OBJECT_ident, pState)= stringToIdent "OBJECT" IC_Type pState # (generic_ident, pState) = stringToIdent name IC_Generic pState @@ -599,14 +600,13 @@ where -> case type_cons of (TypeConsSymb {type_ident}) | type_ident == type_CONS_ident - # (cons_CONS_ident, pState) = stringToIdent "GenericConsInfo" IC_Expression pState - -> (PE_List [PE_Ident cons_CONS_ident, geninfo_arg], pState) + -> (geninfo_arg, pState) + | type_ident == type_RECORD_ident + -> (geninfo_arg, pState) | type_ident == type_FIELD_ident - # (cons_FIELD_ident, pState) = stringToIdent "GenericFieldInfo" IC_Expression pState - -> (PE_List [PE_Ident cons_FIELD_ident, geninfo_arg], pState) + -> (geninfo_arg, pState) | type_ident == type_OBJECT_ident - # (cons_OBJECT_ident, pState) = stringToIdent "GenericTypeDefInfo" IC_Expression pState - -> (PE_List [PE_Ident cons_OBJECT_ident, geninfo_arg], pState) + -> (geninfo_arg, pState) _ | otherwise -> (geninfo_arg, pState) |