Commit e8d69d11 authored by Ronny Wichers Schreur's avatar Ronny Wichers Schreur 🏘
Browse files

removed PA bug workaround

parent fb1554d4
......@@ -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
......
......@@ -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
......
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 */
......
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 */
......
......@@ -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
......
......@@ -138,8 +138,6 @@ where
= "@@ "
toString (TA_List _ _)
= "??? "
toString TA_PA_BUG
= PA_BUG "(E)" (abort "toString TA_PA_BUG")
instance <<< Annotation
where
......
......@@ -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)
......
......@@ -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)
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment