aboutsummaryrefslogtreecommitdiff
path: root/frontend/comparedefimp.icl
diff options
context:
space:
mode:
authormartinw2001-04-27 09:43:37 +0000
committermartinw2001-04-27 09:43:37 +0000
commite8c260eed94bde3228b64741c9d4d2eb18f2d2c9 (patch)
treedbc00b71f088a1460606f41eda03830988bb3a6c /frontend/comparedefimp.icl
parentbugfix: now (diff)
*** empty log message ***
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@371 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/comparedefimp.icl')
-rw-r--r--frontend/comparedefimp.icl8
1 files changed, 4 insertions, 4 deletions
diff --git a/frontend/comparedefimp.icl b/frontend/comparedefimp.icl
index 2571ed8..fb6d1f4 100644
--- a/frontend/comparedefimp.icl
+++ b/frontend/comparedefimp.icl
@@ -141,13 +141,13 @@ compareWithConversions size_uncopied_icl_defs conversions dclDefs iclDefs tc_sta
= iFoldSt (compareWithConversion size_uncopied_icl_defs conversions dclDefs) 0 (size conversions)
(iclDefs, tc_state, error_admin)
-compareWithConversion :: !Int !{#Int} !(b c) !Int !(!u:(b c), !*TypesCorrespondState, !*ErrorAdmin)
- -> (!v:(b c), !.TypesCorrespondState, !.ErrorAdmin)
+compareWithConversion :: !Int !{#Int} !(d c) !Int !(!u:(b c), !*TypesCorrespondState, !*ErrorAdmin)
+ -> (!u:(b c), !.TypesCorrespondState, !.ErrorAdmin)
//1.3
- | Array .b & getIdentPos , select_u , t_corresponds , uselect_u c, [u <= v]
+ | Array b & Array d & getIdentPos , select_u , t_corresponds , uselect_u c
//3.1
/*2.0
- | Array b c & t_corresponds, getIdentPos c, [u <= v]
+ | Array b c & Array d c & t_corresponds, getIdentPos c
0.2*/
compareWithConversion size_uncopied_icl_defs conversions dclDefs dclIndex (iclDefs, tc_state, error_admin)
# icl_index = conversions.[dclIndex]