aboutsummaryrefslogtreecommitdiff
path: root/frontend/syntax.dcl
AgeCommit message (Collapse)AuthorFilesLines
2002-10-14new type code and type code constructor representationronny1-2/+2
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/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1214 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-09-30add 'safe' to active case info for casefun generationdiederik1-0/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1212 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-09-20moved var info definitions to the modules where they are usedronny1-27/+3
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1204 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-09-20removed SK_GeneratedCaseFunction: it's not necessary any more, becauseronny1-1/+0
there are no function generated in convertDynamics git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1202 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/+1
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-7/+7
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1147 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-07-12added CP_LiftedFunArgjohnvg1-0/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1144 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-4/+16
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-30/+82
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-7/+11
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-6/+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-2/+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-8/+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/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@927 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-12-05removed type from BasicExprjohnvg1-11/+6
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-5/+7
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-3/+8
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-18store macros and local functions in macros in separate {#{#FunDef}},johnvg1-19/+24
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-4/+1
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-18/+28
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/+6
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-2/+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-12/+20
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-4/+1
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-1/+0
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@746 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-08-31added ArrayAndListInstances,OverloadedListPatterns and OverloadedListTypejohnvg1-8/+21
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-4/+4
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-0/+2
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/+2
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-12/+12
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-2/+2
algorithm. git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@478 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-05-30detect in 'postparse' when the definition module correspondingjohnvg1-1/+1
to the main module is imported, and the main module is not an implementation module. renamed local function 'scan_dcl_module' into 'scan_main_dcl_module'. git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@438 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-05-30optimize array comprehensions,johnvg1-2/+2
optimize dot dot generators, fixed bug in array comprehensions with more than one qualifier, removed 'c' before 'cIsListGenerator' and 'cIsArrayGenerator' git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@437 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
generated by cgit v1.2.3 (git 2.39.1) at 2025-03-19 20:04:15 +0000