aboutsummaryrefslogtreecommitdiff
path: root/frontend
AgeCommit message (Collapse)AuthorFilesLines
2003-12-16add CheckWarningWithPositionjohnvg2-4/+8
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1439 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-12-15remove VoidTypeTokenjohnvg2-3/+0
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1438 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-12-15add foreign exportjohnvg13-205/+301
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1436 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-12-12fix #! with constructor pattern match or record with one fieldjohnvg1-15/+19
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1432 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-12-12fix #! with constructor pattern match or record with one fieldjohnvg1-92/+143
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1431 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-12-11move FunctionPattern type from syntax to backendconvertjohnvg2-24/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1428 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-12-11remove BackendBodyjohnvg2-13/+0
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1427 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-12-11bug fix: use a new ptr in expanded dynamicronny1-3/+5
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1426 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-12-01use same default fixity and priority (infixl 9) everywhereronny4-6/+8
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1421 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-11-04compare TFAjohnvg1-0/+3
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1419 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-10-17added limited support for uniqueness attributes in dynamic typesronny4-5/+31
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1394 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-10-07move (open/close)TclFile from type_io to compileronny2-63/+0
this removes a platform dependency from the frontend git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1385 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-10-07isolate Index type for compatability with Sparkle source treeronny3-3/+18
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1384 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/gronny8-16/+16
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1353 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-06-19enable boxed recordsjohnvg1-2/+0
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-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 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 workaroundronny7-26/+2
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 treeronny37-1579/+1579
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-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
generated by cgit v1.2.3 (git 2.39.1) at 2025-03-14 16:26:20 +0000