diff options
Diffstat (limited to 'frontend')
| -rw-r--r-- | frontend/comparedefimp.icl | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/frontend/comparedefimp.icl b/frontend/comparedefimp.icl index 72935e0..de6729a 100644 --- a/frontend/comparedefimp.icl +++ b/frontend/comparedefimp.icl @@ -53,6 +53,8 @@ where = compare_constructor_lists dcl_conses icl_conses dcl_cons_defs icl_cons_defs comp_st = (False, icl_cons_defs, comp_st) = (False, icl_cons_defs, comp_st) + compare_constructor_lists [ dcl_cons : dcl_conses ] [] dcl_cons_defs icl_cons_defs comp_st + = (False, icl_cons_defs, comp_st) compare_rhs_of_types (SynType dclType) (SynType iclType) dcl_cons_defs icl_cons_defs comp_st # (ok, comp_st) = compare dclType iclType comp_st @@ -1250,4 +1252,5 @@ file_to_true file = code { pushB TRUE .end }; + */
\ No newline at end of file |