aboutsummaryrefslogtreecommitdiff
path: root/frontend
AgeCommit message (Collapse)AuthorFilesLines
2002-06-17moved _ to next linejohnvg1-1/+2
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1095 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-06-11added comparison for TArrow and TArrow1 to comparedefimpalimarin1-0/+4
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1093 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-06-10- bug fix:types scopesmartijnv2-2/+20
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1088 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-06-03removed tracealimarin1-4/+4
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1080 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-06-03added constructor/type/field information to genericsalimarin16-624/+1420
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1079 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-05-14- improved handling of equivalent types within one application to share amartijnv3-5/+15
single implementation. git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1078 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-05-01bug fix: make case for variable pattern explicitronny1-1/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1077 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-04-11support for generic type context like inalimarin24-156/+575
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-04- removed strictness annotationsmartijnv2-4/+4
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1072 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-04-04* bug fix to correctly separate types without Clean definition from types whichmartijnv1-2/+1
have a Clean definition. git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1071 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-04-03- collection of used type constructors in unify/coerce. There are two sources:martijnv9-124/+182
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.0alimarin6-73/+65
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1069 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-03-27remove debug outputjohnvg1-1/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1067 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-03-27fix bug in CharList with \010 charjohnvg1-1/+18
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1066 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-03-26set the explicit flag for cases generated for && and || to Truejohnvg1-14/+5
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1064 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-03-26don't move tuple and record selectors into explicit casesjohnvg1-38/+83
if the tuple or record is created outside the case expression git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1063 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-03-25new implementation of genericsalimarin38-623/+4602
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1062 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-03-20bug fix: prevent compiler crash if type in icl module hasjohnvg1-0/+3
fewer constructors than type in dcl module git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1059 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-03-11- bug fix: added a forgotten alternative to function convertDynamics formartijnv1-3/+1
NoBind git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1055 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-03-11- bug fix: added a forgotten alternative to function convertDynamics formartijnv1-4/+5
NoBind git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1054 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-03-08remove unused argument td_args from functionsjohnvg1-21/+17
determinePropClassOfTypeDef and determineSignClassOfTypeDef git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1053 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-03-08commented out some debug code to reduce memory allocation byjohnvg1-1/+1
the compiler git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1052 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-03-08make result of function build_inequalities strict to reducejohnvg1-0/+1
memory allocation by the compiler git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1051 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-03-08make result of function add_declaration strict to reducejohnvg1-2/+2
memory allocation by the compiler git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1050 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-03-05prevent compiler crash if too few members are specified injohnvg1-27/+37
the implementation module for an exported instance remove some ignored !'s git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1046 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-03-04add missing case for TAS constructor (for strict lists)johnvg1-1/+3
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1043 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-03-04Export proper new type of transformGroupsdiederik2-2/+11
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1042 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-02-28fix bug in computing the conversion table for macros that appearjohnvg1-1/+1
only in the definition module (and not in the implementation module). git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1032 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-02-27fix bug: report error when the same constructor or memberjohnvg1-60/+98
appears in both the icl and dcl file but in types or classes with different names git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1031 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-02-26Bug fix: Dictionary arguments were not passed correctly to other dictionariessjakie1-0/+12
(b260202.icl) git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1030 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-02-19Disable debugging tracesdiederik1-7/+7
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1028 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-02-19Reorder functions and introduce state record for determine_argsdiederik1-967/+1177
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1027 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-02-13work around for incorrect merging of cases (see source comment)ronny1-0/+18
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1022 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-02-13compare strictness annotations of constructorsjohnvg1-1/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1019 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-02-12removed useless strictness annotationsronny2-5/+5
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1017 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-02-11removed comments that marked various patchesronny1-128/+16
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1016 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-02-11- creation of {PV,UPV,UV}_Placeholder instead of P_laceholder. See predefmartijnv5-110/+111
for more information. git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1015 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-02-11class type variables bugfixdiederik2-12/+20
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1013 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-02-08- change in strictness informationmartijnv5-69/+106
- each placeholder now has two arguments * In order to use dynamics, a new compiler, {static,dynamic}-linker and a new StdDynamicEnv are necessary. git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1008 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-02-08add missing alternatives in equal_strictness_lists andjohnvg3-10/+22
move the function to module containers git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1007 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-02-07- cosmetic changes: made some String-representation of type names symbolicmartijnv3-1/+9
for the dynamic linker. git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1006 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-02-07fix bug for boolean cases with then or else expressions thatjohnvg1-6/+4
can fail and also have a default expression git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1005 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-02-07initialise st_args_strictness in unused function for Clean 2.0johnvg1-0/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1004 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-02-06fix bug when using type definition:johnvg1-1/+1
:: * I *a = { f :: !a } and: I *{String} in function type git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1003 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-02-06store strictness annotations in SymbolType instead of ATypejohnvg24-732/+1618
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1002 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-02-06store strictness annotations in SymbolType instead of ATypejohnvg1-3/+6
and remove annotations in generated functions git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1001 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-02-04er worden nu universele type variabelen in de vorm van UP_laceHolder'smartijnv5-97/+117
genereerd voor types in dynamics. git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1000 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-01-31remove RWSDebug importronny1-1/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@999 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-01-30Ik heb helaas geen flauw idee, maar deze files weken af van wat ik zelf had.sjakie4-104/+129
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@995 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-01-23bug fix: adapted collect_used_dynamics which didn't eliminate all unusedmartijnv1-8/+8
dynamics. git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@978 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
generated by cgit v1.2.3 (git 2.39.1) at 2025-03-15 09:01:23 +0000