diff options
| author | johnvg | 2011-04-15 10:57:01 +0000 |
|---|---|---|
| committer | johnvg | 2011-04-15 10:57:01 +0000 |
| commit | 6f0bd29ec38b3d3ad41d5cbec0e1f3f131d607a4 (patch) | |
| tree | d03ac01910d4a8cb2dee079bf1b8eacdb7ac1766 /frontend/syntax.dcl | |
| parent | use type FunSpecials instead of Specials for specials of functions (diff) | |
remove field icl_copied_from_dcl from type IclModule
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1923 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
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 = |