| Age | Commit message (Expand) | Author | Files | Lines |
|---|
| 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 |
| 2008-12-19 | remove RecordNode, IdentNode, ApplyNode, ScopeNode and IndirectionNode | johnvg | 3 | -52/+0 |
| 2008-11-10 | use a loop to adjust predefined symbols of dynamics and generics | johnvg | 1 | -73/+8 |
| 2008-11-10 | make indices of predefined types and expressions of dynamics and generics | johnvg | 2 | -197/+105 |
| 2008-10-28 | remove fields gen_cases and gen_star_cases because they are not | johnvg | 3 | -41/+1 |
| 2008-05-19 | fix conversion of nested guards that may fail, incorrect code was generated | johnvg | 1 | -10/+31 |
| 2008-04-10 | remove unnecessary import from _aconcat | johnvg | 1 | -2/+0 |
| 2008-04-09 | report an error if a type context is specified multiple times in a function type | johnvg | 1 | -5/+8 |
| 2008-04-02 | fix bug in codegeneration for a redirection of an evaluated array to | johnvg | 1 | -2/+1 |
