aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)AuthorFilesLines
2003-10-06use False instead of FALSE, doesn't compile on linuxjohnvg1-1/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1378 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-09-17removed unused var_heap parameterronny1-20/+20
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1377 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-09-16removed boolean result from substituteType and substitute: theyronny8-110/+103
could only fail in case of a kind error which is already detected elsewhere git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1376 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-09-16added function typesronny1-6/+44
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1375 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-09-16code cleanup: introduced records for info and state parametersronny1-138/+159
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1374 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-09-15removed exported type definitions from icl moduleronny1-44/+4
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1373 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-08-22also expand synonym types in dynamics for TAS by reusing the TA coderonny1-7/+2
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1372 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-08-20removed unnecessary separate fields for universal variables,ronny4-15/+13
they are represented by the TFA constructor for types git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1371 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-08-19removed unused administrationsronny9-150/+83
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1370 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-08-19removed unused global type codes argumentsronny1-26/+17
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1369 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-07-15OBJECT marking is addedalimarin6-90/+234
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1368 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-07-01changed some names to properly reflect their typeronny1-37/+37
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1367 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-07-01changed parsing of dynamic patterns and expressions,dynamic and :: now bind ↵ronny1-18/+31
weakly, fixes bugs #24 and #28 git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1366 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-06-26bug fix in administration of needed modules (fixes bug #25 and a possiblyronny1-6/+6
a few others) git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1365 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-06-26bug fix: forbid overload CAFs (fixes bug #22)ronny1-2/+10
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1364 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-06-26don't assume infix operators have arity 2 (fixes bug #17)ronny1-15/+15
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1363 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-06-23optimize allocation of Par and Seq constructors to prevent heap overflowjohnvg1-2/+12
(>100 m) git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1362 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-06-19use :: T (:== .. ) syntax for abstract type synonymsjohnvg1-5/+3
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1361 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-06-19write abstract type synonyms in the same way as abstract typesjohnvg1-1/+5
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1360 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-06-19compare lhs root attributes for type definitionsjohnvg1-2/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1359 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-06-19check type properties also for abstract type synonymsjohnvg1-4/+9
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1358 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-06-19append a ";" after the name of the record of a dictionaryjohnvg1-2/+5
to prevent records with the same name if a class and record with the same name are defined in the same module git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1357 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-06-19removed unused module checkKindCorrectnessronny2-338/+0
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1356 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-06-19removed unused field class_arg_kindsronny4-11/+9
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1355 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-06-19removed unused module typeanalronny2-2/+0
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1354 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-06-19s/sd__ident/sd_ident/gronny9-19/+19
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1353 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-06-19enable boxed recordsjohnvg2-3/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1352 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-06-18bug fix: do not move a case inside an explicit casejohnvg1-29/+32
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1351 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-06-18removed trace statementronny1-1/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1350 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-06-17removed unused functionsronny6-108/+77
updated version (necessary because previous commit introduced incompatibilities) git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1349 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-06-17removed unused functionsronny2-88/+37
updated version (necessary because previous commit introduced incompatibilities) git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1348 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-06-16fixed bug with field indexes in StdGenericalimarin1-2/+5
now sd_field_nr used instead of fs_index git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1347 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-06-13removed commented coderonny1-80/+9
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1346 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-06-13removed exported macros from implementation moduleronny1-8/+0
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1345 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-06-13removed switch_dynamics macro (dynamics are always switched on now)ronny3-15/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1344 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-06-13removed unused macro USE_DummyModuleNameronny2-4/+0
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1343 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-06-13removed PA bug workaroundronny8-27/+3
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1342 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-06-06Bug fixs in universally quantified types: Attribute variables of universal ↵sjakie2-0/+30
type variables in type definitions were not initialized properly. git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1341 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-05-16renamed field names of type Ident in syntax treeronny40-1622/+1622
s/\<mod_name\>/mod_ident/g s/\<ps_field_name\>/ps_field_ident/g s/\<ps_selector_name\>/ps_selector_ident/g s/\<pc_cons_name\>/pc_cons_ident/g s/\<class_name\>/class_ident/g s/\<gen_name\>/gen_ident/g s/\<gen_member_name\>/gen_member_ident/g s/\<gc_name\>/gc_ident/g s/\<gc_gname\>/gc_gident/g s/\<fs_name\>/fs_ident/g s/\<td_name\>/td_ident/g s/\<fv_name\>/fv_ident/g s/\<var_name\>/var_ident/g s/\<type_name\>/type_ident/g s/\<symb_name\>/symb_ident/g s/\<tv_name\>/tv_ident/g s/\<av_name\>/av_ident/g s/\<me_symb\>/me_ident/g s/\<ft_symb\>/ft_ident/g s/\<fun_symb\>/fun_ident/g s/\<cons_symb\>/cons_ident/g s/\<sd_symb\>/sd__ident/g git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1340 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-05-14foldExp - added alternative for EEalimarin1-0/+2
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1339 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-05-09improve printing of function names of case, lambda and if expressions for ↵johnvg1-30/+92
clean 2 git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1338 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-04-09don't call normalise if there are no variables in the typeronny1-6/+9
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1337 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-04-01make toString (STE_Kind) total, fixes bug #19ronny1-1/+3
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1336 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-03-17fixed a bug in parsing the "of" token after dynamic type, e.g.:alimarin2-2/+3
case dynamic 1 :: Int of ... git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1335 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-03-13use positive numbers for TypeVarFixedronny1-3/+3
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1334 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-03-13introduced TypeFixedVar constructor for fixed type vars,ronny1-2/+1
the numbers of TypeFixedVars are still negative git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1333 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-03-13changed constructors of TypeCode type in anticipation of things to comeronny3-110/+113
(will break dynamics on disk) git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1332 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-03-13removed _TypePatternVar constructor from TypeCoderonny4-5/+6
The distinction between TypePatternVars and TypeVars is not really necessary. git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1331 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-03-12- added some missing alternatives to toString (Token), fixes bug #12ronny1-75/+84
- reordered alternatives of toString (Token) to match the order of the constructors in the type definition of Token, for easy comparison git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1330 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-03-12extra curried fusion fixesdiederik3-343/+614
extended unused args analysis improved strictness for case instantiation dead code removal git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1329 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
generated by cgit v1.2.3 (git 2.39.1) at 2025-03-15 23:38:19 +0000