aboutsummaryrefslogtreecommitdiff
path: root/frontend/StdCompare.icl
diff options
context:
space:
mode:
authormartinw2000-08-16 09:40:52 +0000
committermartinw2000-08-16 09:40:52 +0000
commit835130322209d09169b55eefefbba6fde15c5bda (patch)
tree3b071d6a186c5e0d76796bf008ee7430bcddb1f2 /frontend/StdCompare.icl
parentadding "list inferred types" option (diff)
ConsVariables were not handled correctly within improved type error messages
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@204 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/StdCompare.icl')
-rw-r--r--frontend/StdCompare.icl4
1 files changed, 2 insertions, 2 deletions
diff --git a/frontend/StdCompare.icl b/frontend/StdCompare.icl
index 4dc82c4..adb6e99 100644
--- a/frontend/StdCompare.icl
+++ b/frontend/StdCompare.icl
@@ -31,8 +31,8 @@ instance == ConsVariable
where
(==) (CV tv1) (CV tv2) = tv1 == tv2
(==) (TempCV tv1) (TempCV tv2) = tv1 == tv2
- (==) cv1 cv2 = False
-
+ (==) (TempQCV tv1) (TempQCV tv2) = tv1 == tv2 // MW4++
+// MW4 removed: (==) cv1 cv2 = False
instance == TypeContext
where