aboutsummaryrefslogtreecommitdiff
path: root/frontend/check.icl
AgeCommit message (Collapse)AuthorFilesLines
2003-09-16removed boolean result from substituteType and substitute: theyronny1-14/+8
could only fail in case of a kind error which is already detected elsewhere git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1376 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-07-15OBJECT marking is addedalimarin1-2/+3
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1368 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-06-19s/sd__ident/sd_ident/gronny1-5/+5
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1353 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-06-13removed switch_dynamics macro (dynamics are always switched on now)ronny1-1/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1344 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-05-16renamed field names of type Ident in syntax treeronny1-150/+150
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
2003-03-13changed constructors of TypeCode type in anticipation of things to comeronny1-3/+4
(will break dynamics on disk) git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1332 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-03-13removed _TypePatternVar constructor from TypeCoderonny1-1/+1
The distinction between TypePatternVars and TypeVars is not really necessary. git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1331 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-02-10- bug fix: error for abstract datatypes in dynamic types.martijnv1-1/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1317 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-11-14bug in checking for importing of predefined modules fixedalimarin1-1/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1281 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-10-18add boxed records, fix line number in "different number ofjohnvg1-12/+16
members specified" error, prevent crash when constructors or members are defined more than once in the dcl module only git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1240 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-10-14new type code and type code constructor representationronny1-9/+23
clean-up and renamed functions from StdDynamic git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1234 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-10-01minor changes in genericsalimarin1-0/+2
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1214 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-09-24fix bug if a class is used in a type context before the classjohnvg1-40/+92
declaration, or when both are in different modules on a cycle. git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1209 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-09-19major rewrite dynamicsronny1-14/+15
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1197 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-08-23the partitionate and lift functions in transform no longer usejohnvg1-12/+12
the DclModule array git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1191 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-07-22repair a bug introduced in revision 1.57: add the list ofjohnvg1-5/+2
specials for instances to the array of instances of a dcl module git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1165 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-07-16handle DclFunCall in function remove_calls_from_symbol_table,johnvg1-2/+9
add code for AbstractSynType git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1149 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-07-11call 'check_needed_modules_are_imported' after checking instancesjohnvg1-4/+5
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1142 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-06-17removed ignored !'sjohnvg1-1/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1099 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-06-03added constructor/type/field information to genericsalimarin1-2/+31
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1079 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-04-11support for generic type context like inalimarin1-1/+4
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-28fixes in generics to compile with Clean 2.0alimarin1-42/+20
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1069 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-03-25new implementation of genericsalimarin1-292/+632
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1062 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-03-08make result of function add_declaration strict to reducejohnvg1-2/+2
memory allocation by the compiler git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1050 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-03-05prevent compiler crash if too few members are specified injohnvg1-27/+37
the implementation module for an exported instance remove some ignored !'s git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1046 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-02-28fix bug in computing the conversion table for macros that appearjohnvg1-1/+1
only in the definition module (and not in the implementation module). git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1032 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-02-27fix bug: report error when the same constructor or memberjohnvg1-60/+98
appears in both the icl and dcl file but in types or classes with different names git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1031 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-02-11- creation of {PV,UPV,UV}_Placeholder instead of P_laceholder. See predefmartijnv1-6/+7
for more information. git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1015 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-02-06store strictness annotations in SymbolType instead of ATypejohnvg1-16/+31
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1002 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-02-04er worden nu universele type variabelen in de vorm van UP_laceHolder'smartijnv1-0/+1
genereerd voor types in dynamics. git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1000 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-01-17Bug fix: Scopes in dynamicssjakie1-1/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@968 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-01-16added default alternatives for functions 'is_lazy_or_strict_array'johnvg1-0/+4
and 'is_lazy_or_strict_list' to prevent a compiler crash when a list or array is used in special with an undefined variable git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@967 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-12-13remove tuple symbol from UniqueSelector (! selector) and MatchExprjohnvg1-2/+10
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@935 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-12-12don't allow strict #! lets in macro bodiesronny1-2/+103
make top-level cases in macros explicit git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@932 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-12-12enforce that CAFs are non-uniqueronny1-4/+12
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@929 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-12-05removed type from BasicExprjohnvg1-3/+15
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-11-30store predefined identifiers in CAFjohnvg1-88/+59
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@912 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-11-26fix explicit imports of cached modulesjohnvg1-19/+120
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@903 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-11-08bug fix, symbol table was not cleaned up after a error in the types of a dcl ↵ronny1-1/+5
module this would give erroneous error reports and index out of range error when this dcl module was on a cycle git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@885 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-10-19higher-order kinded types in genericsalimarin1-1/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@871 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-10-19fix bug in renumbering of specialsjohnvg1-32/+25
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@870 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-10-18make source code clean 2.0 compatiblejohnvg1-2/+9
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@866 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-10-18store macros and local functions in macros in separate {#{#FunDef}},johnvg1-636/+655
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-58/+84
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-03Bug fixes: overloading error, changed the order of dictionariessjakie1-1/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@821 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-10-02Bug fixes: reference count analysis fixed,sjakie1-62/+81
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-10-01pass file modification times from icl module and dcl modules to backendronny1-6/+7
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@808 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-09-24removed kind correctness checking modulesjakie1-3/+4
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@803 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-09-21Bug fix: caching combined with omitted type and class definitionssjakie1-43/+46
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@800 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-09-14fix uniqueness bug (again)johnvg1-2/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@784 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
generated by cgit v1.2.3 (git 2.39.1) at 2025-03-15 20:21:28 +0000