| Age | Commit message (Expand) | Author | Files | Lines |
|---|
| 2009-12-22 | fix typo and remove numbers between () in error messages | johnvg | 1 | -5/+5 |
| 2009-11-26 | remove preprocessor for Clean 1.3 code | johnvg | 1 | -42/+3 |
| 2009-10-12 | fix bug in fusion that may occur if a recursive function that contains | johnvg | 1 | -25/+29 |
| 2009-10-12 | fix bug in implementation of seq | johnvg | 2 | -6/+37 |
| 2009-07-29 | fix bug that may occur if a let variable is used in another let in an alterna... | johnvg | 2 | -12/+39 |
| 2009-07-29 | fix bug that may occur if a let is used in a case inside another case, | johnvg | 1 | -92/+119 |
| 2009-07-29 | mark pattern and rhs of case alternative with one fullRefMark instead of two | johnvg | 1 | -11/+6 |
| 2009-07-29 | fix selective uses in refMarkOfVariable if used completely and by selector | johnvg | 1 | -39/+48 |
| 2009-07-29 | remove some unused code, fix some typos | johnvg | 1 | -67/+36 |
| 2009-07-28 | fix uniqueness type bug (not detected because of bug in refmark) | johnvg | 3 | -9/+6 |
| 2009-07-28 | mark strict vars with VI_StrictLetVar, transform case of such a var | johnvg | 2 | -5/+7 |
| 2009-07-28 | create new fv_info_ptr's for strict lets in distributeLets, because otherwise | johnvg | 2 | -68/+18 |
| 2009-07-01 | prevent compiler crash if a dynamic type contains a type constructor variable, | johnvg | 1 | -16/+18 |
| 2009-06-15 | report an error if a non unique * annotated type T is inferred in a function ... | johnvg | 1 | -20/+28 |
| 2009-06-11 | restore all modified pointers (prevents compiler crash if an | johnvg | 1 | -1/+1 |
| 2009-06-05 | make function add_new_variable global instead of local | johnvg | 1 | -6/+5 |
| 2009-06-05 | fix for existential/universal type variables of kind > * | johnvg | 1 | -37/+25 |
| 2009-06-05 | remove some comments | johnvg | 1 | -6/+1 |
| 2009-06-05 | fix for existential/universal type variables of kind > * | johnvg | 1 | -41/+34 |
| 2009-06-05 | remove some comments | johnvg | 1 | -10/+6 |
| 2009-06-05 | keep case_explicit, instead of setting case_explicit to False for all | johnvg | 1 | -168/+98 |
| 2009-05-14 | add dynamic_type_used result at wantModule calls | johnvg | 1 | -2/+2 |
| 2009-05-14 | report error if type Dynamic is used without importing StdDynamic, | johnvg | 2 | -10/+12 |
| 2009-05-14 | pass use of type Dynamic from parser to checkModule | johnvg | 1 | -3/+3 |
| 2009-05-14 | remember use of type Dynamic | johnvg | 2 | -53/+47 |
| 2009-04-29 | bug fix: initialize atype_vars1 as intended | johnvg | 1 | -3/+3 |
| 2009-02-25 | prevent compiler crash when check import completeness of a generic function | johnvg | 1 | -0/+2 |
| 2009-02-25 | add explicit import of generic functions | johnvg | 3 | -11/+21 |
| 2009-02-25 | replace type ImportedIdent by Ident because ii_extended is not used | johnvg | 5 | -46/+30 |
| 2009-01-14 | add seq | johnvg | 15 | -17/+141 |
| 2008-12-19 | pass world to main function without argument | johnvg | 1 | -2/+2 |
| 2008-12-19 | add BEBindSpecialType, BEOverloadedCaseNode and BEGetError | johnvg | 1 | -0/+3 |
| 2008-12-19 | remove BENrOfBasicTypes | johnvg | 1 | -1/+0 |
| 2008-12-19 | add integers and rationals | johnvg | 7 | -69/+226 |
| 2008-12-19 | add integers and rationals, allow use of main instead of Start | johnvg | 1 | -11/+67 |
| 2008-12-19 | add integers and rationals | johnvg | 4 | -11/+325 |
| 2008-12-19 | add integers and rationals | johnvg | 2 | -1/+51 |
| 2008-12-19 | add hsFile | johnvg | 2 | -1/+5 |
| 2008-12-19 | add AddStrictnessToExportedFunctionTypes | johnvg | 3 | -6/+50 |
| 2008-12-19 | add -seft, AddStrictnessToExportedFunctionTypes | johnvg | 1 | -0/+3 |
| 2008-12-19 | add BEGetError | johnvg | 1 | -0/+3 |
| 2008-12-19 | add ExitEnv_valid | johnvg | 1 | -0/+20 |
| 2008-12-19 | add ExitEnv_valid | johnvg | 2 | -4/+18 |
| 2008-12-19 | remove BENrOfBasicDenots | johnvg | 3 | -5/+3 |
| 2008-12-19 | remove NR_Of_Basic_Denots, BENrOfBasicDenots | johnvg | 1 | -1/+0 |
| 2008-12-19 | remove RecordNode, IdentNode, ApplyNode and ScopeNode | johnvg | 1 | -42/+0 |
| 2008-12-19 | add OverloadedCaseNode, integer_denot and rational_denot | johnvg | 1 | -4/+13 |
| 2008-12-19 | remove unused function NewRule | johnvg | 2 | -31/+0 |
| 2008-12-19 | remove Enum function ids | johnvg | 3 | -44/+0 |
| 2008-12-19 | remove unused field cl_exist_quant_typevars | johnvg | 1 | -1/+0 |
