aboutsummaryrefslogtreecommitdiff
path: root/frontend
AgeCommit message (Expand)AuthorFilesLines
2001-08-28renamed list,tuple,array and string types as in predef.icljohnvg1-6/+6
2001-08-28Universally quantified types addedsjakie1-8/+15
2001-08-28universally quantified types addedsjakie3-15/+38
2001-08-27universally quantified types addedsjakie3-5/+5
2001-08-27Universally quantified types addedsjakie2-2/+4
2001-08-27Universally quantified types addedsjakie11-416/+717
2001-08-27bug fixes, ModuleID argument in T_ypeConsSymbol, added _SystemDynamicmartijnv12-122/+287
2001-08-15Bug fixes: default cases and (more or less) correct types for generated case ...sjakie2-108/+147
2001-07-27patch to prevent crash with undefined type variabeles in special declarationronny1-0/+16
2001-07-25bug fix operator like =:= are now allowedronny1-2/+9
2001-07-25bug fix scanning ['']ronny1-0/+1
2001-07-25bug fix scanning ['\\\'']ronny1-0/+1
2001-07-25bug fix parse_bug_specialronny1-1/+36
2001-07-25accept "funny" type and constructor names in from ... import statementsronny1-4/+2
2001-07-25put back look-a-head token after class in import list if its not '('ronny1-1/+1
2001-07-25removed underscoreModule from ParseState, this is now handled by the scannerronny5-60/+52
2001-07-25bug fix parse_bug_forbidden_symbolsronny4-11/+46
2001-07-25renamed ss_useLayout to ss_scanOptionsronny1-16/+16
2001-07-25changed ss_useLayout field to bit vector (in anticipation of more scan state ...ronny1-8/+11
2001-07-24bug fix parsebug_missing_resultronny1-10/+15
2001-07-24bug fix funny_id_after_typeronny1-27/+6
2001-07-23expand macros with curried macro calls later, to prevent a bug if dcl caching...johnvg1-3/+89
2001-07-23use halt instead of abort to prevent strictness in 'a'johnvg1-2/+7
2001-07-19Added "curried" arrow types (->) and ((->) a)alimarin17-319/+668
2001-07-18replaced VI_Alias with VI_AliasSequenceNumber to avoid potential clashesronny2-2/+2
2001-07-18assorted scanner/parser bug fixes by Pieter (tested by Ronny)ronny6-565/+432
2001-07-18removed unused code to detect tuple patterns for merging casesronny1-21/+3
2001-07-13{} is not allowed in patterns, because array 'denotations' in patternsjohnvg1-3/+4
2001-07-12uniqueness attributes in backendronny2-2/+3
2001-07-12made compilable with Clean 2.0 by introducing a typed local functionronny1-6/+7
2001-06-29cleaning up: removing all these hopelessly silly long function namesmartinw1-49/+49
2001-06-29cleaning upmartinw1-41/+4
2001-06-28disable PA_bugjohnvg3-8/+8
2001-06-28Sjaak: removed 'dyn_uni_vars' from type 'DynamicExpr'sjakie1-1/+1
2001-06-27Sjaak: Improved dynamics, not yet finished.sjakie11-314/+341
2001-06-25generate .depend for current dcl moduleronny3-2/+10
2001-06-25also add pattern variables in Cases to cp_local_varsronny1-2/+7
2001-06-25cases in backendronny1-713/+1034
2001-06-22boolean for explicit cases (cases that are specified by the programmer)ronny7-17/+92
2001-06-21bug fix: line numbers in type errors for let bindingsjohnvg1-16/+39
2001-06-20optimise && and ||johnvg4-35/+65
2001-06-15Bug fix. Free type variables were referenced but not defined.martijnv3-27/+45
2001-06-15making kind checking phase compatible with dcl cachingmartinw11-113/+220
2001-06-15added new error messagemartinw1-23/+63
2001-06-14support for module system is added to genercisalimarin5-169/+414
2001-06-11Bug fix with array updates. Removed redundant code. Adjusted unification algo...sjakie15-909/+557
2001-06-08merge all casesronny1-4/+59
2001-06-08mergeCases in separate moduleronny3-290/+308
2001-06-06set the 'fun_pos' of a 'FunDef' for functions with a specified typejohnvg1-9/+8
2001-06-06removed code that prints the pointer in instance <<<johnvg1-2/+2