diff options
| -rw-r--r-- | frontend/checksupport.dcl | 3 | ||||
| -rw-r--r-- | frontend/checksupport.icl | 3 | ||||
| -rw-r--r-- | frontend/checktypes.icl | 2 | ||||
| -rw-r--r-- | frontend/comparedefimp.icl | 2 |
4 files changed, 2 insertions, 8 deletions
diff --git a/frontend/checksupport.dcl b/frontend/checksupport.dcl index 9418951..d874610 100644 --- a/frontend/checksupport.dcl +++ b/frontend/checksupport.dcl @@ -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 diff --git a/frontend/checksupport.icl b/frontend/checksupport.icl index 98ebe58..3cccdc8 100644 --- a/frontend/checksupport.icl +++ b/frontend/checksupport.icl @@ -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 diff --git a/frontend/checktypes.icl b/frontend/checktypes.icl index 8c893ac..68e3c2e 100644 --- a/frontend/checktypes.icl +++ b/frontend/checktypes.icl @@ -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) diff --git a/frontend/comparedefimp.icl b/frontend/comparedefimp.icl index 741aa69..489ccb1 100644 --- a/frontend/comparedefimp.icl +++ b/frontend/comparedefimp.icl @@ -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 |