diff options
| author | martinw | 2000-06-15 08:22:11 +0000 |
|---|---|---|
| committer | martinw | 2000-06-15 08:22:11 +0000 |
| commit | a9383f2d3e67820beb8489164acf141cccc4cd95 (patch) | |
| tree | 235425a3d3d1bf61538fdfcfb92efda0851108ca /frontend | |
| parent | update of dictionary types (diff) | |
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
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@165 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend')
| -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 |