aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--backend/backendconvert.icl2
-rw-r--r--frontend/comparedefimp.icl2
-rw-r--r--frontend/compilerSwitches.dcl2
-rw-r--r--frontend/compilerSwitches.icl2
-rw-r--r--frontend/syntax.dcl1
-rw-r--r--frontend/syntax.icl2
-rw-r--r--frontend/typesupport.icl7
-rw-r--r--frontend/unitype.icl12
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)