aboutsummaryrefslogtreecommitdiff
path: root/frontend/predef.dcl
AgeCommit message (Collapse)AuthorFilesLines
2002-09-19major rewrite dynamicsronny1-21/+19
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1197 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-06-03added constructor/type/field information to genericsalimarin1-6/+35
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-1/+3
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-03-25new implementation of genericsalimarin1-21/+7
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1062 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-02-11- creation of {PV,UPV,UV}_Placeholder instead of P_laceholder. See predefmartijnv1-39/+40
for more information. git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1015 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-02-07- cosmetic changes: made some String-representation of type names symbolicmartijnv1-0/+2
for the dynamic linker. git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1006 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-02-04er worden nu universele type variabelen in de vorm van UP_laceHolder'smartijnv1-37/+38
genereerd voor types in dynamics. git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1000 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-12-13remove tuple symbol from UniqueSelector (! selector) and MatchExprjohnvg1-4/+6
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@935 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-12-05removed type from BasicExprjohnvg1-0/+2
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-04forgot to some definitions to exportmartijnv1-0/+15
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@917 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-11-30store predefined identifiers in CAFjohnvg1-6/+5
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@912 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-09-06removed usage of fun_indexalimarin1-2/+5
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 symbols for strict and unboxed listsjohnvg1-91/+139
moved cPredefinedModuleIndex to predef git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@702 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-08-27bug fixes, ModuleID argument in T_ypeConsSymbol, added _SystemDynamicmartijnv1-35/+37
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@674 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-05-31added mechanism to generate a module id for each module. Fixed an indexmartijnv1-34/+38
out of range error reported by Peter. git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@443 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-05-30optimize array comprehensions,johnvg1-47/+47
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
2001-05-08added fields to cons_info and type_infoalimarin1-13/+15
fixed bugs git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@406 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-04-25added support for constructors (for toString like usage),alimarin1-8/+14
fromString is not yet supported some error handling improved parial instances are temporary disabled git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@368 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-03-13Generics are added, but are disabled.alimarin1-36/+61
Tested with compiling Object IO and butstrapping. git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@329 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-02-15DynamicTemp added to the compiler. You will be needing a newmartijnv1-3/+11
StdEnv 2.0 in which DynamicTemp is added. git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@297 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-06-21solving the problem of strict aliases. Now a strict aliasmartinw1-3/+5
#! x = y will be transformed into #! x = _dummyForStrictAlias y while checking. The new predefined symbol _dummyForStrictAlias has the type of the identity function. This application will be removed in the backend conversion phase. In this case x and y will simply get the same sequence number (see module backendpreprocess). Then the binding can be ignored. git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@177 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-06-06coercions added though not completemartijnv1-6/+8
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@152 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-04-26Merge Martin/ Sjaak & Ronny branchesclean1-1/+3
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@127 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
1999-10-05Initial importronny1-0/+90
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@2 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
generated by cgit v1.2.3 (git 2.39.1) at 2025-03-15 20:47:21 +0000