aboutsummaryrefslogtreecommitdiff
path: root/frontend/syntax.dcl
AgeCommit message (Expand)AuthorFilesLines
2002-09-20removed SK_GeneratedCaseFunction: it's not necessary any more, becauseronny1-1/+0
2002-09-19major rewrite dynamicsronny1-1/+4
2002-09-04Add SK_GeneratedCaseFunction for dynamic cases fixdiederik1-0/+1
2002-08-27Added FailExpr noderonny1-0/+1
2002-08-22transform implicit cases on rhs variables, see comment before splitCases in c...ronny1-0/+23
2002-07-29move typedefs from trans to syntax; allow for uncurried instances; fix compar...diederik1-0/+4
2002-07-25add PR_Unused for unused function argumentsdiederik1-0/+1
2002-07-16add DclFunCall in type FunCalljohnvg1-7/+7
2002-07-12added CP_LiftedFunArgjohnvg1-0/+1
2002-06-03added constructor/type/field information to genericsalimarin1-2/+10
2002-04-11support for generic type context like inalimarin1-4/+16
2002-04-03- collection of used type constructors in unify/coerce. There are two sources:martijnv1-1/+1
2002-03-28fixes in generics to compile with Clean 2.0alimarin1-2/+4
2002-03-25new implementation of genericsalimarin1-30/+82
2002-02-06store strictness annotations in SymbolType instead of ATypejohnvg1-7/+11
2002-01-17Bug fix: Scopes in dynamicssjakie1-6/+3
2001-12-20bugfix (by Sjaak) in reference countingronny1-2/+5
2001-12-13remove tuple symbol from UniqueSelector (! selector) and MatchExprjohnvg1-8/+4
2001-12-12don't allow local nodedefs (defined with =:) with a specified typeronny1-1/+1
2001-12-05removed type from BasicExprjohnvg1-11/+6
2001-12-03bug fix: uniqueness error in nested record/array updatesronny1-5/+7
2001-11-29different representation of selector kind in Selectionronny1-3/+8
2001-11-26fix explicit imports of cached modulesjohnvg1-0/+2
2001-11-01pass strictness information from C to Clean, print strict exported and all ty...ronny1-0/+1
2001-10-18store macros and local functions in macros in separate {#{#FunDef}},johnvg1-19/+24
2001-10-12add <|- generator for overloaded lists againjohnvg1-4/+1
2001-10-02Bug fixes: reference count analysis fixed,sjakie1-18/+28
2001-10-01pass file modification times from icl module and dcl modules to backendronny1-0/+1
2001-10-01Add producer class for fusiondiederik1-1/+6
2001-09-24removed kind correctness checking modulesjakie1-2/+4
2001-09-21Bug fix: caching combined with omitted type and class definitionssjakie1-12/+20
2001-09-12add <|- generator for overloaded listsjohnvg1-4/+1
2001-09-06bug fix: Improved unification algoritm for kindssjakie1-2/+2
2001-09-06remove fun_index from FunDefjohnvg1-1/+0
2001-08-31added ArrayAndListInstances,OverloadedListPatterns and OverloadedListTypejohnvg1-8/+21
2001-08-27Universally quantified types addedsjakie1-4/+4
2001-07-19Added "curried" arrow types (->) and ((->) a)alimarin1-0/+2
2001-07-18replaced VI_Alias with VI_AliasSequenceNumber to avoid potential clashesronny1-1/+1
2001-07-12uniqueness attributes in backendronny1-1/+2
2001-06-27Sjaak: Improved dynamics, not yet finished.sjakie1-12/+12
2001-06-22boolean for explicit cases (cases that are specified by the programmer)ronny1-0/+3
2001-06-15Bug fix. Free type variables were referenced but not defined.martijnv1-0/+2
2001-06-15making kind checking phase compatible with dcl cachingmartinw1-0/+1
2001-06-11Bug fix with array updates. Removed redundant code. Adjusted unification algo...sjakie1-2/+2
2001-05-30detect in 'postparse' when the definition module correspondingjohnvg1-1/+1
2001-05-30optimize array comprehensions,johnvg1-2/+2
2001-05-11I wanted to commit this together with the icl file, but it didn't fitmartinw1-8/+1
2001-05-10bug fixes:martijnv1-1/+1
2001-05-08added VI_Labelled_Empty and VI_LocalLetVar to VarInforonny1-0/+4
2001-05-03Flag to turn generics on and off (SupportGenerics), default offronny1-0/+1