aboutsummaryrefslogtreecommitdiff
path: root/frontend/checkFunctionBodies.icl
AgeCommit message (Collapse)AuthorFilesLines
2015-11-17fix qualified import of constructors with a constraint or universally ↵johnvg1-10/+17
quantified type variable by using a SK_OverloadedConstructor instead of a SK_Constructor git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@2665 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2013-06-03remove unused Bool of PE_Let contructorjohnvg1-20/+14
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@2249 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2013-04-02add type constraints in constructors and function arguments with universal ↵johnvg1-7/+34
quantifier (from iTask branch) git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@2218 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2012-08-14add extendable algebraic data types (merged from iTask branch)johnvg1-56/+89
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@2149 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2012-08-02add pattern match test using =: in expressions,johnvg1-1/+39
add constructors PE_Matches and IsConstructor in module syntax git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@2130 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2012-04-05fix aliases in sub patterns of # or let, for example:johnvg1-1/+8
g # (_,a=:b) = g = (a,b) git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@2056 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2011-11-08rename module StdCompare to compare_typesjohnvg1-1/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@2015 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2011-11-08remove unnecessary imports of module check,johnvg1-0/+1
remove import of StdCompare in checksupport.dcl, changed some other imports git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@2010 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2011-11-04remove differences in layout between the compiler and the iTask compilerjohnvg1-378/+359
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1980 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2011-03-17pass generic info only to instances for OBJECT, CONS and FIELD,johnvg1-25/+3
call instance functions for OBJECT, CONS and FIELD directly, with generic info git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1881 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2011-02-23only generate a generic info argument for generic instances of kind *->*,johnvg1-4/+7
because OBJECT, CONS and FIELD have this kind and are the only types using generic info git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1855 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2011-02-23really remove dummy function add_kind in function check_generic_exprjohnvg1-5/+0
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1852 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2011-02-23remove dummy function add_kind in function check_generic_expr,johnvg1-48/+25
fix error message for failed qualified import git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1849 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2010-07-06use 'Module'.name in errors, instead of Module@namejohnvg1-9/+9
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1794 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2010-07-05dont pass icl functions array to/from checkDclMacros,johnvg1-1/+2
it is not used because dcl macros cannot use icl macros. git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1792 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2009-07-28fix uniqueness type bug (not detected because of bug in refmark)johnvg1-2/+2
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1746 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2007-09-10rename NormalSelectorUniqueElementResult as UniqueSelectorUniqueElementResult,johnvg1-3/+3
use UniqueSingleArraySelector for a![i] instead of NormalSelector and add UniqueSingleArraySelectorUniqueElementResult git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1686 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2007-04-13implement newtypejohnvg1-164/+264
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1672 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2007-04-12implement {# and {! in array comprehensions that create a new arrayjohnvg1-0/+23
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1671 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2007-04-11remove string in AP_Empty constructorjohnvg1-22/+22
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1666 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2007-03-28fix "not imported" error if StdArray or StdEnum needs to be importedjohnvg1-4/+5
and is explicitly imported git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1657 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2007-02-14implement qualified explicit importsjohnvg1-106/+346
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1649 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2007-01-02prevent compiler crash if a macro with a non constructor application asjohnvg1-15/+11
rhs (for example Macro:==1+1) is used in a pattern git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1631 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2005-09-16make line number in thejohnvg1-19/+19
"demanded attribute cannot be offered by shared object" error message more accurate, store position in CaseAlt (added field calt_position) git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1544 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2005-04-08fix uniqueness type of UnqArraySelectFunjohnvg1-1/+3
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1525 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-12-12fix #! with constructor pattern match or record with one fieldjohnvg1-15/+19
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1432 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-12-12fix #! with constructor pattern match or record with one fieldjohnvg1-92/+143
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1431 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-08-20removed unnecessary separate fields for universal variables,ronny1-3/+3
they are represented by the TFA constructor for types git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1371 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-06-26bug fix in administration of needed modules (fixes bug #25 and a possiblyronny1-6/+6
a few others) git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1365 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-06-26don't assume infix operators have arity 2 (fixes bug #17)ronny1-15/+15
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1363 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-05-16renamed field names of type Ident in syntax treeronny1-93/+93
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-01-08remove rhs of alternative with an AP_Empty pattern, to preventjohnvg1-1/+1
a compiler crash in transform when a macro uses another macro in a pattern, that are both defined in the same module git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1307 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-01-06prevent compiler crash if an array pattern is not a variablejohnvg1-2/+3
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1304 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-11-14remove record update to record node transformation (for recordsjohnvg1-34/+2
with existential variables) git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1279 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-10-18add strict dot dot expressions, transform record updatejohnvg1-45/+64
to record constructor only for records with existential variables, fix line numbers in case expressions generated from guards git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1241 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-07-22removed RWS commentsronny1-29/+9
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1164 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-07-22introduced macros for values of case_explicit booleanronny1-13/+16
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1163 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-07-16generate DclFunCall's for function calls from macros to fixjohnvg1-7/+27
a bug if an exported macro uses an exported function from the current module git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1150 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-03added constructor/type/field information to genericsalimarin1-4/+26
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1079 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-05-01bug fix: make case for variable pattern explicitronny1-1/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1077 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-03-25new implementation of genericsalimarin1-22/+29
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1062 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-01-17Bug fix: Scopes in dynamicssjakie1-25/+24
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@968 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-01-10bug fix: move merge cases to transform, because it assumes local funcitonsronny1-44/+10
are lifted git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@965 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-12-19fix pattern does not match error in function ↵johnvg1-0/+1
add_decons_call_for_overloaded_lists git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@952 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-12-17implement pattern matching of strict, unboxed and overloaded listsjohnvg1-7/+28
in let, with and where expressions git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@942 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-12-13remove tuple symbol from UniqueSelector (! selector) and MatchExprjohnvg1-8/+5
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@935 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-12-12enter new scope when checking rhs of nodedefsronny1-1/+2
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@931 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-12-12fixed bugs in merging explicit casesronny1-5/+5
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@930 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-12-05removed type from BasicExprjohnvg1-18/+19
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
generated by cgit v1.2.3 (git 2.39.1) at 2025-03-15 00:32:57 +0000