aboutsummaryrefslogtreecommitdiff
path: root/frontend/comparedefimp.icl
AgeCommit message (Collapse)AuthorFilesLines
2009-04-29bug fix: initialize atype_vars1 as intendedjohnvg1-3/+3
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1730 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2007-04-18also compare NewTypePatternsjohnvg1-0/+2
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1676 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2007-04-18also compare SK_NewTypeConstructor'sjohnvg1-13/+10
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1675 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2007-04-13implement newtypejohnvg1-8/+23
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1672 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2007-03-08pass two lists to function init_atype_vars,johnvg1-10/+8
instead of using ++ to concatenate the lists for each call git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1654 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2007-03-08pass two lists to functions init_type_vars and init_attr_vars,johnvg1-29/+21
instead of using ++ to concatenate the lists for each call git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1653 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2005-04-22remove code for Clean 1.3johnvg1-13/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1538 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-11-04compare TFAjohnvg1-0/+3
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1419 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-06-19compare lhs root attributes for type definitionsjohnvg1-2/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1359 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-06-19s/sd__ident/sd_ident/gronny1-2/+2
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1353 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-06-13removed PA bug workaroundronny1-1/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1342 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-06-06Bug fixs in universally quantified types: Attribute variables of universal ↵sjakie1-0/+17
type variables in type definitions were not initialized properly. git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1341 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-05-16renamed field names of type Ident in syntax treeronny1-47/+47
s/\<mod_name\>/mod_ident/g s/\<ps_field_name\>/ps_field_ident/g s/\<ps_selector_name\>/ps_selector_ident/g s/\<pc_cons_name\>/pc_cons_ident/g s/\<class_name\>/class_ident/g s/\<gen_name\>/gen_ident/g s/\<gen_member_name\>/gen_member_ident/g s/\<gc_name\>/gc_ident/g s/\<gc_gname\>/gc_gident/g s/\<fs_name\>/fs_ident/g s/\<td_name\>/td_ident/g s/\<fv_name\>/fv_ident/g s/\<var_name\>/var_ident/g s/\<type_name\>/type_ident/g s/\<symb_name\>/symb_ident/g s/\<tv_name\>/tv_ident/g s/\<av_name\>/av_ident/g s/\<me_symb\>/me_ident/g s/\<ft_symb\>/ft_ident/g s/\<fun_symb\>/fun_ident/g s/\<cons_symb\>/cons_ident/g s/\<sd_symb\>/sd__ident/g git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1340 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-11-12bugs fixed in genericsalimarin1-0/+6
- compare def imp for generics - foldExpr - type synonym expansion git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1273 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-10-18add boxed recordsjohnvg1-2/+2
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1238 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-09-24bug fix for: abstract or synonym type with different numberjohnvg1-36/+44
of arguments, synonym types with arguments in different order, for example T a b :== a -> b in dcl module and T b a :== a -> b in icl module git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1210 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-07-17add abstract synonym typesjohnvg1-0/+6
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1154 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-06-17removed ignored !'sjohnvg1-2/+2
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1099 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-06-11added comparison for TArrow and TArrow1 to comparedefimpalimarin1-0/+4
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1093 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-04-11support for generic type context like inalimarin1-0/+9
foo :: a a -> Bool | eq{|*|} a git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1073 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-03-25new implementation of genericsalimarin1-5/+34
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1062 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-03-20bug fix: prevent compiler crash if type in icl module hasjohnvg1-0/+3
fewer constructors than type in dcl module git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1059 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-02-13compare strictness annotations of constructorsjohnvg1-1/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1019 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-02-08add missing alternatives in equal_strictness_lists andjohnvg1-9/+0
move the function to module containers git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1007 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-02-06store strictness annotations in SymbolType instead of ATypejohnvg1-5/+46
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1002 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-12-13remove tuple symbol from UniqueSelector (! selector) and MatchExprjohnvg1-4/+3
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@935 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-12-05removed type from BasicExprjohnvg1-4/+2
added BVInt removed symb_arity from SymbIdent git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@918 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-10-19fix bug in renumbering of specialsjohnvg1-10/+8
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@870 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-10-18store macros and local functions in macros in separate {#{#FunDef}},johnvg1-236/+143
remove conversion table, except for macros git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@863 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-10-08universally quantified attribute variables in typedefs addedsjakie1-17/+8
bug fix: combination of caching and omitted clasdefs git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@833 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-10-02Bug fixes: reference count analysis fixed,sjakie1-5/+5
Universally quantified types used in class members git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@811 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-09-21Bug fix: caching combined with omitted type and class definitionssjakie1-20/+351
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@800 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-08-31added code for OverloadedListPatternsjohnvg1-0/+2
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@705 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-05-11moving all switch macros to new module "compilerSwitches"martinw1-1/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@423 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-05-04satisfying John's pervert and bizarre wishes for better error messagesmartinw1-7/+39
concerning specified instance types, that by far go beyond the standards of Clean 1.3.3 git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@392 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-04-27*** empty log message ***martinw1-4/+4
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@371 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-04-20*** empty log message ***martinw1-26/+30
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@362 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-03-27unfold all macros and local functions in macrosjohnvg1-1/+28
changed Declaration type fixed crash when macro appears only in dcl module added make with caching in 'main' use BoxedIdent in hashtable git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@344 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-03-20Sjaak: fixed inheritance bugs and strictness attributessjakie1-1/+2
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@335 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-03-15*** empty log message ***martinw1-0/+3
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@333 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-03-02bugfix: compiler couldn't detect following inconsistency:martinw1-16/+9
dcl: f :== 1 icl: f = 1 git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@313 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-02-14bugfix: the algorithm couldn't handle applications that were (curried)martinw1-4/+12
macros although their symb_kind was SK_Function (instead of SK_Macro) git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@296 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-02-13delaying "determineTypesOfInstances" and "checkSpecialsOfInstances" aftermartinw1-187/+27
checking of a whole dcl module component --> now cyclic module dependencies should work git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@294 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-01-19refactoringmartinw1-30/+63
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@290 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-11-01changes were necessary due to different numberings due to caching of dclmartinw1-6/+15
modules (now indices in dcl macros point to dcl indices) git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@276 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-10-23renumber icl function and macro indices when unfoldingjohnvg1-5/+6
dcl macros in icl functions and macros removed expanded macros from groups (s.c.components) git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@259 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-10-11adjusting this module to cashing of dcl modulesmartinw1-47/+28
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@255 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-10-04-added position information for let bindings for better error messagesmartinw1-2/+12
(changes are commented with "MW0") git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@248 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-09-27optimizations and caching of dcl modules (without trans.icl)clean1-5/+12
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@232 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-08-10added position information to case defaults to improve type error messagesmartinw1-1/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@201 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d