aboutsummaryrefslogtreecommitdiff
path: root/frontend/syntax.icl
AgeCommit message (Collapse)AuthorFilesLines
2002-10-31Fix bug where wrong type code constructor was selected.ronny1-1/+1
The fix is to not use the index and table of type code constructors,. The indices and tables should be cleaned up later. git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1265 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-10-30Removed at least 4 bugs (maybe more, but i can't remember):sjakie1-1/+2
better check for properties of abstract types, check for linearity of instance types, uniqueness bug for type synonyms, kind check for function (arrow) types git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1262 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-10-18add boxed records and strict dot dot expressionsjohnvg1-5/+5
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1236 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-09-20switch to 2.0 syntax, remove duplicated definitions from icl modulesronny1-1410/+7
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1201 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-09-19major rewrite dynamicsronny1-1/+4
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1197 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-09-04Add SK_GeneratedCaseFunction for dynamic cases fixdiederik1-0/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1196 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-08-27Added FailExpr noderonny1-0/+2
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1193 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-08-22transform implicit cases on rhs variables, see comment before splitCases in ↵ronny1-0/+23
convertcases git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1188 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-07-29move typedefs from trans to syntax; allow for uncurried instances; fix ↵diederik1-0/+4
compare for PR_Unused git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1177 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-07-25add PR_Unused for unused function argumentsdiederik1-0/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1169 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-07-16add DclFunCall in type FunCalljohnvg1-3/+10
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1147 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-07-12added CP_LiftedFunArgjohnvg1-1/+5
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1144 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-06-17removed double alternative for TVI_TypeKind in <<<johnvg1-1/+0
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1098 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-06-03added constructor/type/field information to genericsalimarin1-2/+10
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-3/+22
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-04-03- collection of used type constructors in unify/coerce. There are two sources:martijnv1-1/+1
dynamic pattern matches and types passed to type dependent functions. - added !Bool-field to GTT_Constructor - changed overloading, type and convertDynamics to propagate the type information git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1070 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-03-28fixes in generics to compile with Clean 2.0alimarin1-2/+4
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1069 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-03-25new implementation of genericsalimarin1-44/+133
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1062 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-02-06store strictness annotations in SymbolType instead of ATypejohnvg1-12/+29
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1002 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-01-17Bug fix: Scopes in dynamicssjakie1-2/+3
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@968 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-12-20bugfix (by Sjaak) in reference countingronny1-5/+5
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@953 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-12-13remove tuple symbol from UniqueSelector (! selector) and MatchExprjohnvg1-5/+4
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@935 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-12-12don't allow local nodedefs (defined with =:) with a specified typeronny1-1/+2
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@927 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-12-05removed type from BasicExprjohnvg1-19/+11
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-12-03bug fix: uniqueness error in nested record/array updatesronny1-10/+17
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@916 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-11-29different representation of selector kind in Selectionronny1-5/+14
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@908 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-11-26fix explicit imports of cached modulesjohnvg1-0/+2
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@903 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-11-01pass strictness information from C to Clean, print strict exported and all ↵ronny1-0/+1
types in Clean git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@877 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-10-19higher-order kinded types in genericsalimarin1-2/+4
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@871 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-10-18store macros and local functions in macros in separate {#{#FunDef}},johnvg1-23/+34
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-12add <|- generator for overloaded lists againjohnvg1-6/+6
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@846 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-10-02Bug fixes: reference count analysis fixed,sjakie1-8/+31
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-0/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@808 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-10-01Add producer class for fusiondiederik1-1/+7
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@806 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-09-24removed kind correctness checking modulesjakie1-11/+9
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-13/+25
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@800 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-09-12add <|- generator for overloaded listsjohnvg1-6/+6
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@774 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-09-06bug fix: Improved unification algoritm for kindssjakie1-2/+2
Universally quantified types (parsing and inference) git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@753 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-09-06remove fun_index from FunDefjohnvg1-5/+4
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@746 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-09-06removed usage of fun_indexalimarin1-6/+6
fixed bugs in generics reimplemented kind-indexed type specialization git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@742 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-08-31added ArrayAndListInstances,OverloadedListPatterns and OverloadedListTypejohnvg1-23/+51
replaced PE_Compr by PE_ListCompr and PE_ArrayCompr git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@703 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-08-27Universally quantified types addedsjakie1-5/+5
Bug fix in reference marking git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@675 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-07-19Added "curried" arrow types (->) and ((->) a)alimarin1-8/+22
Fixed some bugs in generics git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@559 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-07-18replaced VI_Alias with VI_AliasSequenceNumber to avoid potential clashesronny1-1/+1
with VI_Aliases from previous phases git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@557 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-07-12uniqueness attributes in backendronny1-1/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@542 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-06-27Sjaak: Improved dynamics, not yet finished.sjakie1-22/+40
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@505 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-06-22boolean for explicit cases (cases that are specified by the programmer)ronny1-0/+3
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@494 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-06-15Bug fix. Free type variables were referenced but not defined.martijnv1-0/+2
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@483 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-06-15making kind checking phase compatible with dcl cachingmartinw1-0/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@482 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-06-11Bug fix with array updates. Removed redundant code. Adjusted unification ↵sjakie1-3/+3
algorithm. git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@478 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
generated by cgit v1.2.3 (git 2.39.1) at 2025-03-15 07:49:54 +0000