diff options
| author | johnvg | 2002-07-16 15:33:46 +0000 |
|---|---|---|
| committer | johnvg | 2002-07-16 15:33:46 +0000 |
| commit | e93f63946ba98dbc314a9ca6f200cbf3c9ab432f (patch) | |
| tree | bbefef44483af1cc472a89ed7e19b7b7fa910cce /backend | |
| parent | generate DclFunCall's for function calls from macros to fix (diff) | |
remove ModuleIndex type, because it is now defined in syntax.dcl,
added code for AbstractSynType
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1151 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'backend')
| -rw-r--r-- | backend/backendconvert.icl | 11 |
1 files changed, 5 insertions, 6 deletions
diff --git a/backend/backendconvert.icl b/backend/backendconvert.icl index 273c41f..a005f04 100644 --- a/backend/backendconvert.icl +++ b/backend/backendconvert.icl @@ -494,7 +494,7 @@ where defineOtherDclModule :: ModuleIndex DclModule -> BackEnder defineOtherDclModule moduleIndex dclModule | moduleIndex == main_dcl_module_n || moduleIndex == cPredefinedModuleIndex || not (inNumberSet moduleIndex used_module_numbers) - = identity + = identity // otherwise = defineDclModule moduleIndex dclModule @@ -650,8 +650,6 @@ instance declareVars BasicPattern where declareVars {bp_expr} dvInput = declareVars bp_expr dvInput -:: ModuleIndex :== Index - class declare a :: ModuleIndex a -> BackEnder class declareWithIndex a :: Index ModuleIndex a -> BackEnder @@ -825,7 +823,6 @@ defineType moduleIndex constructors _ typeIndex {td_name, td_args, td_rhs=AlgTyp = appBackEnd (BEAlgebraicType flatType constructors) be defineType moduleIndex constructors selectors typeIndex {td_args, td_rhs=RecordType {rt_constructor, rt_fields}} be // | trace_tn constructorDef.cons_symb - # (flatType, be) = convertTypeLhs moduleIndex typeIndex td_args be # (fields, be) @@ -852,6 +849,8 @@ defineType moduleIndex constructors selectors typeIndex {td_args, td_rhs=RecordT -> (constructorDef.cons_type,be)) defineType moduleIndex _ _ typeIndex {td_args, td_rhs=AbstractType _} be = beAbsType (convertTypeLhs moduleIndex typeIndex td_args) be +defineType moduleIndex _ _ typeIndex {td_args, td_rhs=AbstractSynType _ _} be + = beAbsType (convertTypeLhs moduleIndex typeIndex td_args) be defineType _ _ _ _ _ be = be @@ -2174,8 +2173,8 @@ getVariableSequenceNumber varInfoPtr be -> (sequenceNumber,be) VI_AliasSequenceNumber {var_info_ptr} -> getVariableSequenceNumber var_info_ptr be - vi - -> abort "getVariableSequenceNumber" // <<- vi +// vi +// -> abort "getVariableSequenceNumber" // <<- vi foldStateWithIndexTwice function n :== foldStateWithIndexTwice 0 |