aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authormartijnv2000-07-14 12:35:51 +0000
committermartijnv2000-07-14 12:35:51 +0000
commitef78dd3cc53de2e2cf66a4d8d33d657b7039a7e8 (patch)
treee2324879ecd710405a8476b0c6f88a519ff34d78
parentRemoved back end spelling inconsistencies (except for syntax:BackendBody, whi... (diff)
De predefined symbols worden in check.icl aangepast. Het
nieuwe PD_coerce-symbool werd nog niet aangepast. git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@192 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
-rw-r--r--frontend/check.icl3
1 files changed, 3 insertions, 0 deletions
diff --git a/frontend/check.icl b/frontend/check.icl
index 1ec64ca..643b22d 100644
--- a/frontend/check.icl
+++ b/frontend/check.icl
@@ -3187,6 +3187,9 @@ where
<=< adjust_predef_symbol PD_TypeConsSymbol mod_index STE_Constructor
<=< adjust_predef_symbol PD_variablePlaceholder mod_index STE_Constructor
<=< adjust_predef_symbol PD_unify mod_index STE_DclFunction
+// MV ..
+ <=< adjust_predef_symbol PD_coerce mod_index STE_DclFunction
+// .. MV
<=< adjust_predef_symbol PD_undo_indirections mod_index STE_DclFunction)
= (class_members, class_instances, fun_types, { cs & cs_predef_symbols = cs_predef_symbols})
where