diff options
| -rw-r--r-- | backend/backendconvert.icl | 2 | ||||
| -rw-r--r-- | frontend/comparedefimp.icl | 2 | ||||
| -rw-r--r-- | frontend/compilerSwitches.dcl | 2 | ||||
| -rw-r--r-- | frontend/compilerSwitches.icl | 2 | ||||
| -rw-r--r-- | frontend/syntax.dcl | 1 | ||||
| -rw-r--r-- | frontend/syntax.icl | 2 | ||||
| -rw-r--r-- | frontend/typesupport.icl | 7 | ||||
| -rw-r--r-- | frontend/unitype.icl | 12 |
8 files changed, 3 insertions, 27 deletions
diff --git a/backend/backendconvert.icl b/backend/backendconvert.icl index c0ccef5..2e7a0ea 100644 --- a/backend/backendconvert.icl +++ b/backend/backendconvert.icl @@ -1399,7 +1399,7 @@ convertAttribution TA_Anonymous convertAttribution (TA_Var attrVar) = convertAttributeVar attrVar convertAttribution (TA_RootVar attrVar) - = PA_BUG (return BENoUniAttr) (convertAttributeVar attrVar) + = convertAttributeVar attrVar convertAttribution TA_MultiOfPropagatingConsVar = return BENoUniAttr // FIXME diff --git a/frontend/comparedefimp.icl b/frontend/comparedefimp.icl index 2bc1140..ee91f96 100644 --- a/frontend/comparedefimp.icl +++ b/frontend/comparedefimp.icl @@ -797,7 +797,7 @@ instance t_corresponds TypeAttribute where t_corresponds (TA_Var dclDef) (TA_Var iclDef) = t_corresponds dclDef iclDef t_corresponds (TA_RootVar dclDef) (TA_RootVar iclDef) - = PA_BUG (return True) (t_corresponds dclDef iclDef) + = t_corresponds dclDef iclDef t_corresponds TA_None icl = case icl of TA_Multi-> return True diff --git a/frontend/compilerSwitches.dcl b/frontend/compilerSwitches.dcl index 7205465..a1e98d7 100644 --- a/frontend/compilerSwitches.dcl +++ b/frontend/compilerSwitches.dcl @@ -1,7 +1,5 @@ definition module compilerSwitches -PA_BUG on off :== off - switch_import_syntax one_point_three two_point_zero :== two_point_zero /* when finally removing this switch also remove the argument of STE_Instance and ID_OldSyntax */ diff --git a/frontend/compilerSwitches.icl b/frontend/compilerSwitches.icl index fff8e71..49a5c1b 100644 --- a/frontend/compilerSwitches.icl +++ b/frontend/compilerSwitches.icl @@ -1,7 +1,5 @@ implementation module compilerSwitches -PA_BUG on off :== off - switch_import_syntax one_point_three two_point_zero :== two_point_zero /* when finally removing this switch also remove the argument of STE_Instance and ID_OldSyntax */ diff --git a/frontend/syntax.dcl b/frontend/syntax.dcl index c30348f..06f2cdb 100644 --- a/frontend/syntax.dcl +++ b/frontend/syntax.dcl @@ -984,7 +984,6 @@ cNonRecursiveAppl :== False | TA_Anonymous | TA_None | TA_List !Int !TypeAttribute | TA_Locked !TypeAttribute | TA_MultiOfPropagatingConsVar // only filled in after type checking, semantically equal to TA_Multi - | TA_PA_BUG :: AttributeVar = { av_ident :: !Ident diff --git a/frontend/syntax.icl b/frontend/syntax.icl index 2195962..31dbf64 100644 --- a/frontend/syntax.icl +++ b/frontend/syntax.icl @@ -138,8 +138,6 @@ where = "@@ " toString (TA_List _ _) = "??? " - toString TA_PA_BUG - = PA_BUG "(E)" (abort "toString TA_PA_BUG") instance <<< Annotation where diff --git a/frontend/typesupport.icl b/frontend/typesupport.icl index 154ff28..4054a9c 100644 --- a/frontend/typesupport.icl +++ b/frontend/typesupport.icl @@ -133,10 +133,7 @@ where = attr_and_cus cleanUpTypeAttribute _ cui av=:(TA_Var _) cus - = (av, cus) -cleanUpTypeAttribute _ cui TA_PA_BUG cus - = PA_BUG (TA_Multi, cus) (abort "clean_up cui (TA_PA_BUG)") - + = (av, cus) instance clean_up Type where @@ -1283,8 +1280,6 @@ instance writeType TypeAttribute = writeBeautifulAttrVarAndColon file beautifulizer ta writeType file yes_beautifulizer=:(Yes _) (form, TA_Multi) = (file, yes_beautifulizer) - writeType file opt_beautifulizer (form, TA_PA_BUG) - = PA_BUG (file <<< "(E)", opt_beautifulizer) (abort "writeType (TypeAttribute) TA_PA_BUG") writeType file opt_beautifulizer (_, ta) = (file <<< ta, opt_beautifulizer) diff --git a/frontend/unitype.icl b/frontend/unitype.icl index 66ed942..7a86e5c 100644 --- a/frontend/unitype.icl +++ b/frontend/unitype.icl @@ -594,8 +594,6 @@ where toInt (TA_TempVar av_number) = av_number toInt TA_Multi = AttrMulti toInt TA_None = AttrMulti - toInt TA_PA_BUG = PA_BUG AttrExi (abort "toInt TA_PA_BUG") - :: CoercionState = { crc_type_heaps :: !.TypeHeaps @@ -613,16 +611,6 @@ offered_attribute according to sign. Failure is indicated by returning False as */ coerceAttributes :: !.TypeAttribute !.TypeAttribute !.Sign *Coercions -> (!Bool,.Coercions); - -/* Just Temporary */ - -coerceAttributes TA_PA_BUG dem_attr _ coercions - = PA_BUG (True, coercions) (abort "coerceAttributes TA_PA_BUG") -coerceAttributes _ TA_PA_BUG _ coercions - = PA_BUG (True, coercions) (abort "coerceAttributes TA_PA_BUG") - -/* ... remove this !!!! */ - coerceAttributes TA_Unique dem_attr {neg_sign} coercions | not neg_sign = (True, coercions) |