Commit df4792dc authored by Martin Wierich's avatar Martin Wierich
Browse files

MW once added a macro called "SwitchUniquenessBug", Sjaak also added a macro

"PA_BUG" for the same purpose. MW removes his macro _untertaenig_ in favour
of Sjaaks version
parent 404f41b1
......@@ -4,9 +4,6 @@ import StdEnv
import syntax, predef
SwitchUniquenessBug with_bug without_bug :== with_bug
// temporary switch for compiling the Object I/O library
cIclModIndex :== 0
CS_NotChecked :== -1
......
......@@ -6,9 +6,6 @@ import utilities
:: VarHeap :== Heap VarInfo
SwitchUniquenessBug with_bug without_bug :== with_bug
// temporary switch for compiling the Object I/O library
cIclModIndex :== 0
CS_NotChecked :== -1
......
......@@ -1033,7 +1033,7 @@ where
TA_Var var
-> (TA_RootVar var, error)
_
-> (SwitchUniquenessBug (TA_RootVar (abort "SwitchUniquenessBug is on")) root_attr, error)
-> (PA_BUG (TA_RootVar (abort "SwitchUniquenessBug is on")) root_attr, error)
check_attribute attr root_attr name error
= (TA_Multi, checkError name "specified attribute not allowed" error)
......
......@@ -551,7 +551,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)
= SwitchUniquenessBug (return True) (t_corresponds dclDef iclDef)
= PA_BUG (return True) (t_corresponds dclDef iclDef)
t_corresponds _ TA_Anonymous
= return True
t_corresponds TA_None icl
......
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