aboutsummaryrefslogtreecommitdiff
path: root/frontend
AgeCommit message (Collapse)AuthorFilesLines
2001-08-27Universally quantified types addedsjakie11-416/+717
Bug fix in reference marking git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@675 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-08-27bug fixes, ModuleID argument in T_ypeConsSymbol, added _SystemDynamicmartijnv12-122/+287
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@674 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-08-15Bug fixes: default cases and (more or less) correct types for generated case ↵sjakie2-108/+147
and let expressions in the conversion of dynamics git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@649 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-07-27patch to prevent crash with undefined type variabeles in special declarationronny1-0/+16
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@597 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-07-25bug fix operator like =:= are now allowedronny1-2/+9
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@586 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-07-25bug fix scanning ['']ronny1-0/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@585 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-07-25bug fix scanning ['\\\'']ronny1-0/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@584 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-07-25bug fix parse_bug_specialronny1-1/+36
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@583 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-07-25accept "funny" type and constructor names in from ... import statementsronny1-4/+2
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@582 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-07-25put back look-a-head token after class in import list if its not '('ronny1-1/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@574 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-07-25removed underscoreModule from ParseState, this is now handled by the scannerronny5-60/+52
removed underscored allowed parameter of isUpperCaseName and isLowerCaseName these routines now always look at the first non-underscore character adjusted the names of some types and constructors in predef so that they start with an uppercase letter git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@571 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-07-25bug fix parse_bug_forbidden_symbolsronny4-11/+46
idents that start with an underscore are only allowed in modules for which the module name starts with an underscore Because of this bug fix StdEnv has to be updated (_createArray in the Array class) git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@570 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-07-25renamed ss_useLayout to ss_scanOptionsronny1-16/+16
renamed UseLayoutBit to ScanOptionUseLayoutBit git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@569 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-07-25changed ss_useLayout field to bit vector (in anticipation of more scan state ↵ronny1-8/+11
bits) git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@568 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-07-24bug fix parsebug_missing_resultronny1-10/+15
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@567 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-07-24bug fix funny_id_after_typeronny1-27/+6
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@566 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-07-23expand macros with curried macro calls later, to prevent a bug if dcl ↵johnvg1-3/+89
caching is used git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@561 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-07-23use halt instead of abort to prevent strictness in 'a'johnvg1-2/+7
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@560 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-07-19Added "curried" arrow types (->) and ((->) a)alimarin17-319/+668
Fixed some bugs in generics git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@559 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-07-18replaced VI_Alias with VI_AliasSequenceNumber to avoid potential clashesronny2-2/+2
with VI_Aliases from previous phases git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@557 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-07-18assorted scanner/parser bug fixes by Pieter (tested by Ronny)ronny6-565/+432
(bug_incomplete_instance_def, bug_layout_rule, bug_nested_guard_in_otherwise, parse-bug-18, parse_bug_Real_as_class_name, parse_bug_case, parse_bug_constructor_with_name_of_basic_type, parse_bug_lost_brackets_in_pattern, parse_bug_no_layout_rule) git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@550 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-07-18removed unused code to detect tuple patterns for merging casesronny1-21/+3
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@548 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-07-13{} is not allowed in patterns, because array 'denotations' in patternsjohnvg1-3/+4
are not implemented git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@543 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-07-12uniqueness attributes in backendronny2-2/+3
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@542 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-07-12made compilable with Clean 2.0 by introducing a typed local functionronny1-6/+7
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@541 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-06-29cleaning up: removing all these hopelessly silly long function namesmartinw1-49/+49
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@513 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-06-29cleaning upmartinw1-41/+4
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@512 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-06-28disable PA_bugjohnvg3-8/+8
disable generics using a macro git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@508 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-06-28Sjaak: removed 'dyn_uni_vars' from type 'DynamicExpr'sjakie1-1/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@507 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-06-27Sjaak: Improved dynamics, not yet finished.sjakie11-314/+341
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@505 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-06-25generate .depend for current dcl moduleronny3-2/+10
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@504 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-06-25also add pattern variables in Cases to cp_local_varsronny1-2/+7
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@503 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-06-25cases in backendronny1-713/+1034
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@502 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-06-22boolean for explicit cases (cases that are specified by the programmer)ronny7-17/+92
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@494 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-06-21bug fix: line numbers in type errors for let bindingsjohnvg1-16/+39
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@492 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-06-20optimise && and ||johnvg4-35/+65
(new: transform.[id]cl, check.icl, generics.icl) git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@489 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-06-15Bug fix. Free type variables were referenced but not defined.martijnv3-27/+45
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@483 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-06-15making kind checking phase compatible with dcl cachingmartinw11-113/+220
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@482 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-06-15added new error messagemartinw1-23/+63
"attribute variable of lifted argument appears in specified type" git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@481 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-06-14support for module system is added to genercisalimarin5-169/+414
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@480 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-06-11Bug fix with array updates. Removed redundant code. Adjusted unification ↵sjakie15-909/+557
algorithm. git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@478 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-06-08merge all casesronny1-4/+59
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@476 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-06-08mergeCases in separate moduleronny3-290/+308
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@475 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-06-06set the 'fun_pos' of a 'FunDef' for functions with a specified typejohnvg1-9/+8
to the position of the type instead of the position of the first alternative git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@473 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-06-06removed code that prints the pointer in instance <<<johnvg1-2/+2
for TypeVar, because the address appears in an error message git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@472 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-06-05for error messages in patterns use line number of the alternative,johnvg3-33/+23
instead of line number of first alternative (new: check.icl, checkFunctionBodies.[id]cl) git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@471 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-06-05introduced newFunctionWithTyperonny1-6/+14
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@466 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-06-05undo previous commitronny1-382/+393
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@465 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-06-05accidental commitronny1-393/+382
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@464 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-06-05changed all trace arrows (==>, ---->) to -*->ronny1-42/+26
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@463 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
generated by cgit v1.2.3 (git 2.39.1) at 2025-03-14 21:36:17 +0000