aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)AuthorFilesLines
2001-06-28Sjaak: removed 'dyn_uni_vars' from type 'DynamicExpr'sjakie1-1/+1
2001-06-27?johnvg1-0/+0
2001-06-27Sjaak: Improved dynamics, not yet finished.sjakie11-314/+341
2001-06-25generate .depend for current dcl moduleronny9-18/+43
2001-06-25also add pattern variables in Cases to cp_local_varsronny1-2/+7
2001-06-25cases in backendronny1-713/+1034
2001-06-25add code for dcl module caching using the IDEjohnvg4-1/+170
2001-06-22new version number (2.0.d.8)ronny1-2/+2
2001-06-22local reference counts for CaseNode and DefaultNoderonny4-16/+345
2001-06-22local reference counts for CaseNode and DefaultNoderonny1-19/+88
2001-06-22print node_defs in GuardNodejohnvg1-2/+12
2001-06-22local reference counts for CaseNode and DefaultNoderonny2-4/+38
2001-06-22print matched symbol in CaseNoderonny1-1/+6
2001-06-22boolean for explicit cases (cases that are specified by the programmer)ronny7-17/+92
2001-06-21enable 'check indices'johnvg1-2/+1
2001-06-21bug fix: line numbers in type errors for let bindingsjohnvg1-16/+39
2001-06-20optimise && and ||johnvg1-4/+6
2001-06-20optimise && and ||johnvg1-12/+7
2001-06-20optimise && and ||johnvg4-35/+65
2001-06-15removed commentsronny1-4/+1
2001-06-15print local reference counts to file instead of stdoutronny1-4/+4
2001-06-15AnnotateStrictNodesIds in GuardNode,johnvg1-9/+19
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-11handle GuardNode'sjohnvg1-0/+5
2001-06-11Bug fix with array updates. Removed redundant code. Adjusted unification algo...sjakie15-909/+557
2001-06-11bug fix, assign last nodedefs in CollectSharedNodeIdsInRootNoderonny1-1/+1
2001-06-08merge all casesronny1-4/+59
2001-06-08mergeCases in separate moduleronny3-290/+308
2001-06-07SwitchNode in CollectSharedNodeIdsInNoderonny1-24/+59
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
2001-06-05for error messages in patterns use line number of the alternative,johnvg3-33/+23
2001-06-05=johnvg3-15/+169
2001-06-05CleanCocl.prj for the Macjohnvg1-0/+124
2001-06-05=johnvg5-0/+0
2001-06-05=johnvg3-0/+0
2001-06-05introduced newFunctionWithTyperonny1-6/+14
2001-06-05undo previous commitronny1-382/+393
2001-06-05accidental commitronny1-393/+382
2001-06-05changed all trace arrows (==>, ---->) to -*->ronny1-42/+26
2001-06-05added // otherwisesronny1-0/+15
2001-06-05added type signaturesronny1-4/+5
2001-06-05renamed CopyInfo to CopyStateronny1-105/+105
2001-06-05renamed DistributeInfo to DistributeStateronny1-108/+108
2001-06-05renamed rcs_info parameters to rcsronny1-91/+91
2001-06-05combined fields in CheckImportedInfo (subphase of weighted refcount)ronny1-33/+38
2001-06-05moved rcs_main_dcl_module_n field from RCState to RCInforonny1-29/+29