aboutsummaryrefslogtreecommitdiff
path: root/frontend/type.dcl
diff options
context:
space:
mode:
authorjohnvg2001-11-30 15:07:00 +0000
committerjohnvg2001-11-30 15:07:00 +0000
commitd0e49e5993aa362f2dab239dbfda4fbe77c6500f (patch)
tree9fc9e8b33d4bad2c6db49320655f5e01345913fa /frontend/type.dcl
parentstore predefined identifiers in CAF (diff)
store predefined identifiers in CAF
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@912 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/type.dcl')
-rw-r--r--frontend/type.dcl1
1 files changed, 0 insertions, 1 deletions
diff --git a/frontend/type.dcl b/frontend/type.dcl
index 0d58e90..4e64092 100644
--- a/frontend/type.dcl
+++ b/frontend/type.dcl
@@ -30,6 +30,5 @@ instance unify AType
}
class arraySubst type :: !type !u:{!Type} -> (!Bool,!type, !u:{! Type})
-//class arraySubst type :: !type !u:{!Type} -> (!type, !u:{! Type})
instance arraySubst AType