aboutsummaryrefslogtreecommitdiff
path: root/frontend/syntax.dcl
AgeCommit message (Expand)AuthorFilesLines
2002-11-13Removed bugs in analysis of abstract data types and adjusted typing of record...sjakie1-1/+6
2002-11-01moved RefCountsInCase and SplitsInCase type definitions from syntax to conver...ronny1-33/+2
2002-10-31Fix bug where wrong type code constructor was selected.ronny1-1/+1
2002-10-30Removed at least 4 bugs (maybe more, but i can't remember):sjakie1-1/+1
2002-10-18add boxed records and strict dot dot expressionsjohnvg1-5/+6
2002-10-14new type code and type code constructor representationronny1-2/+2
2002-10-01minor changes in genericsalimarin1-0/+1
2002-09-30add 'safe' to active case info for casefun generationdiederik1-0/+1
2002-09-20moved var info definitions to the modules where they are usedronny1-27/+3
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
generated by cgit v1.2.3 (git 2.39.1) at 2025-03-14 20:11:06 +0000