aboutsummaryrefslogtreecommitdiff
path: root/frontend/checktypes.icl
diff options
context:
space:
mode:
authormartinw2000-06-15 08:22:11 +0000
committermartinw2000-06-15 08:22:11 +0000
commita9383f2d3e67820beb8489164acf141cccc4cd95 (patch)
tree235425a3d3d1bf61538fdfcfb92efda0851108ca /frontend/checktypes.icl
parentupdate 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/checktypes.icl')
-rw-r--r--frontend/checktypes.icl2
1 files changed, 1 insertions, 1 deletions
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)