diff options
Diffstat (limited to 'frontend/syntax.dcl')
| -rw-r--r-- | frontend/syntax.dcl | 19 |
1 files changed, 2 insertions, 17 deletions
diff --git a/frontend/syntax.dcl b/frontend/syntax.dcl index bd34ac9..cc0b6e7 100644 --- a/frontend/syntax.dcl +++ b/frontend/syntax.dcl @@ -99,7 +99,7 @@ instance == FunctionOrMacroIndex { glob_object :: !object , glob_module :: !Index } - + :: Module defs = { mod_ident :: !Ident , mod_modification_time :: {#Char} @@ -143,7 +143,6 @@ instance == FunctionOrMacroIndex , icl_imported_objects :: ![ImportedObject] , icl_foreign_exports :: ![ForeignExport] , icl_used_module_numbers :: !NumberSet - , icl_copied_from_dcl :: !CopiedDefinitions , icl_modification_time :: !{#Char} } @@ -432,12 +431,6 @@ cNameLocationDependent :== True | GCB_FunDef !FunDef | GCB_ParsedBody ![ParsedExpr] !Rhs -:: GenericType = - { gt_type :: !SymbolType - , gt_vars :: ![TypeVar] // generic arguments - , gt_arity :: !Int // number of generic arguments - } - :: InstanceType = { it_vars :: [TypeVar] , it_types :: ![Type] @@ -667,7 +660,7 @@ cIsALocalVar :== False , cc_linear_bits ::![Bool] , cc_producer ::!ProdClass } - + :: ConsClass :== Int :: ProdClass :== Bool @@ -753,13 +746,6 @@ cNotVarNumber :== -1 , var_expr_ptr :: !ExprInfoPtr } -/* -cRecursiveAppl :== True -cNonRecursiveAppl :== False - -:: ApplicationKind :== Bool -*/ - :: TypeSymbIdent = { type_ident :: !Ident , type_arity :: !Int @@ -1304,7 +1290,6 @@ cIsNotStrict :== False | NoBind ExprInfoPtr /* auxiliary, to store fields that are not specified in a record expression */ | FailExpr !Ident // only allowed on (case) root positions - :: CodeBinding variable :== Env String variable :: App = |