aboutsummaryrefslogtreecommitdiff
path: root/frontend
AgeCommit message (Collapse)AuthorFilesLines
2002-07-16generate DclFunCall's for function calls from macros to fixjohnvg1-7/+27
a bug if an exported macro uses an exported function from the current module git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1150 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-07-16handle DclFunCall in function remove_calls_from_symbol_table,johnvg1-2/+9
add code for AbstractSynType git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1149 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-07-16add code for DclFunCall to fix a bug if an exported macrojohnvg1-11/+28
uses an exported function from the current module git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1148 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-07-16add DclFunCall in type FunCalljohnvg2-10/+17
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1147 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-07-12fix argument numbers in error messages of functions withjohnvg1-56/+83
lifted arguments and use names of lifted arguments in error messages, removed ts_out from TypeState, moved fun_defs into TypeState git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1145 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-07-12added CP_LiftedFunArgjohnvg2-1/+6
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1144 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-07-11report an error if a type variable is defined more than once in after 'special'johnvg1-6/+19
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1143 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-07-11call 'check_needed_modules_are_imported' after checking instancesjohnvg1-4/+5
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1142 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-07-01Rewound last change: don't search in the current directory.ronny1-8/+2
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1129 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-06-20Always try to open files in current directory.ronny1-2/+8
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1127 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-06-18don't write "components" filejohnvg1-2/+2
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1113 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-06-17removed ignored !'sjohnvg19-54/+54
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1099 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-06-17removed double alternative for TVI_TypeKind in <<<johnvg1-1/+0
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1098 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-06-17removed ingnored !'sjohnvg9-16/+16
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1097 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
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