aboutsummaryrefslogtreecommitdiff
path: root/frontend
AgeCommit message (Expand)AuthorFilesLines
2004-02-17cleanup: prune importsronny2-4/+3
2004-02-12PK: fix bug with let .. where .. in ..pieter2-2/+4
2004-01-29removed duplicated declarations from dcl module in icl moduleronny1-145/+0
2003-12-23bug fix: don't accept lhs patterns between function name and double colonronny1-1/+1
2003-12-16report unused #! variablesjohnvg1-16/+22
2003-12-16add CheckWarningWithPositionjohnvg2-4/+8
2003-12-15remove VoidTypeTokenjohnvg2-3/+0
2003-12-15add foreign exportjohnvg13-205/+301
2003-12-12fix #! with constructor pattern match or record with one fieldjohnvg1-15/+19
2003-12-12fix #! with constructor pattern match or record with one fieldjohnvg1-92/+143
2003-12-11move FunctionPattern type from syntax to backendconvertjohnvg2-24/+1
2003-12-11remove BackendBodyjohnvg2-13/+0
2003-12-11bug fix: use a new ptr in expanded dynamicronny1-3/+5
2003-12-01use same default fixity and priority (infixl 9) everywhereronny4-6/+8
2003-11-04compare TFAjohnvg1-0/+3
2003-10-17added limited support for uniqueness attributes in dynamic typesronny4-5/+31
2003-10-07move (open/close)TclFile from type_io to compileronny2-63/+0
2003-10-07isolate Index type for compatability with Sparkle source treeronny3-3/+18
2003-09-17removed unused var_heap parameterronny1-20/+20
2003-09-16removed boolean result from substituteType and substitute: theyronny8-110/+103
2003-09-16added function typesronny1-6/+44
2003-09-16code cleanup: introduced records for info and state parametersronny1-138/+159
2003-09-15removed exported type definitions from icl moduleronny1-44/+4
2003-08-22also expand synonym types in dynamics for TAS by reusing the TA coderonny1-7/+2
2003-08-20removed unnecessary separate fields for universal variables,ronny4-15/+13
2003-08-19removed unused administrationsronny9-150/+83
2003-08-19removed unused global type codes argumentsronny1-26/+17
2003-07-15OBJECT marking is addedalimarin6-90/+234
2003-07-01changed some names to properly reflect their typeronny1-37/+37
2003-07-01changed parsing of dynamic patterns and expressions,dynamic and :: now bind w...ronny1-18/+31
2003-06-26bug fix in administration of needed modules (fixes bug #25 and a possiblyronny1-6/+6
2003-06-26bug fix: forbid overload CAFs (fixes bug #22)ronny1-2/+10
2003-06-26don't assume infix operators have arity 2 (fixes bug #17)ronny1-15/+15
2003-06-23optimize allocation of Par and Seq constructors to prevent heap overflowjohnvg1-2/+12
2003-06-19use :: T (:== .. ) syntax for abstract type synonymsjohnvg1-5/+3
2003-06-19write abstract type synonyms in the same way as abstract typesjohnvg1-1/+5
2003-06-19compare lhs root attributes for type definitionsjohnvg1-2/+1
2003-06-19check type properties also for abstract type synonymsjohnvg1-4/+9
2003-06-19append a ";" after the name of the record of a dictionaryjohnvg1-2/+5
2003-06-19removed unused module checkKindCorrectnessronny2-338/+0
2003-06-19removed unused field class_arg_kindsronny4-11/+9
2003-06-19removed unused module typeanalronny2-2/+0
2003-06-19s/sd__ident/sd_ident/gronny8-16/+16
2003-06-19enable boxed recordsjohnvg1-2/+0
2003-06-18bug fix: do not move a case inside an explicit casejohnvg1-29/+32
2003-06-18removed trace statementronny1-1/+1
2003-06-16fixed bug with field indexes in StdGenericalimarin1-2/+5
2003-06-13removed exported macros from implementation moduleronny1-8/+0
2003-06-13removed switch_dynamics macro (dynamics are always switched on now)ronny3-15/+1
2003-06-13removed unused macro USE_DummyModuleNameronny2-4/+0