aboutsummaryrefslogtreecommitdiff
path: root/frontend
AgeCommit message (Expand)AuthorFilesLines
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
2003-06-13removed PA bug workaroundronny7-26/+2
2003-06-06Bug fixs in universally quantified types: Attribute variables of universal ty...sjakie2-0/+30
2003-05-16renamed field names of type Ident in syntax treeronny37-1579/+1579
2003-05-14foldExp - added alternative for EEalimarin1-0/+2
2003-04-09don't call normalise if there are no variables in the typeronny1-6/+9
2003-04-01make toString (STE_Kind) total, fixes bug #19ronny1-1/+3
2003-03-17fixed a bug in parsing the "of" token after dynamic type, e.g.:alimarin2-2/+3
2003-03-13use positive numbers for TypeVarFixedronny1-3/+3
2003-03-13introduced TypeFixedVar constructor for fixed type vars,ronny1-2/+1
2003-03-13changed constructors of TypeCode type in anticipation of things to comeronny3-110/+113
2003-03-13removed _TypePatternVar constructor from TypeCoderonny4-5/+6
generated by cgit v1.2.3 (git 2.39.1) at 2025-03-14 16:23:18 +0000