diff options
| author | johnvg | 2001-09-03 12:54:52 +0000 |
|---|---|---|
| committer | johnvg | 2001-09-03 12:54:52 +0000 |
| commit | e77d8f528601399ae53ba865ed2d71a7ff96ee9f (patch) | |
| tree | dfb2a5773d7a616db3a54f3bd640aae815c76c01 /frontend | |
| parent | fix memory allocation bug (diff) | |
comment out debug messages
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@732 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend')
| -rw-r--r-- | frontend/type.icl | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/frontend/type.icl b/frontend/type.icl index 008474f..5962db8 100644 --- a/frontend/type.icl +++ b/frontend/type.icl @@ -300,7 +300,7 @@ unifyTypes tv=:(TempV tv_number) attr1 type2 attr2 modules subst heaps unify_variable_with_type tv_number type subst | containsTypeVariable tv_number type subst = (False, subst) - ---> "unify_variable_with_type" +// ---> "unify_variable_with_type" = (True, { subst & [tv_number] = type}) unifyTypes type attr1 tv=:(TempV _) attr2 modules subst heaps = unifyTypes tv attr2 type attr1 modules subst heaps @@ -324,7 +324,7 @@ unifyTypes t1=:(TA cons_id1 cons_args1) attr1 t2=:(TA cons_id2 cons_args2) attr2 | succ1 || succ2 = unifyTypes t1 attr1 t2 attr2 modules subst heaps = (False, subst, heaps) - ---> "unifyTypes1" +// ---> "unifyTypes1" unifyTypes (cons_var :@: types) attr1 type2 attr2 modules subst heaps # (_, type2, heaps) = tryToExpand type2 attr2 modules.ti_common_defs heaps = unifyTypeApplications cons_var attr1 types type2 attr2 modules subst heaps |