aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)AuthorFilesLines
2003-06-17removed unused functionsronny2-88/+37
updated version (necessary because previous commit introduced incompatibilities) git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1348 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-06-16fixed bug with field indexes in StdGenericalimarin1-2/+5
now sd_field_nr used instead of fs_index git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1347 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-06-13removed commented coderonny1-80/+9
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1346 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-06-13removed exported macros from implementation moduleronny1-8/+0
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1345 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-06-13removed switch_dynamics macro (dynamics are always switched on now)ronny3-15/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1344 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-06-13removed unused macro USE_DummyModuleNameronny2-4/+0
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1343 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-06-13removed PA bug workaroundronny8-27/+3
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1342 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-06-06Bug fixs in universally quantified types: Attribute variables of universal ↵sjakie2-0/+30
type variables in type definitions were not initialized properly. git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1341 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-05-16renamed field names of type Ident in syntax treeronny40-1622/+1622
s/\<mod_name\>/mod_ident/g s/\<ps_field_name\>/ps_field_ident/g s/\<ps_selector_name\>/ps_selector_ident/g s/\<pc_cons_name\>/pc_cons_ident/g s/\<class_name\>/class_ident/g s/\<gen_name\>/gen_ident/g s/\<gen_member_name\>/gen_member_ident/g s/\<gc_name\>/gc_ident/g s/\<gc_gname\>/gc_gident/g s/\<fs_name\>/fs_ident/g s/\<td_name\>/td_ident/g s/\<fv_name\>/fv_ident/g s/\<var_name\>/var_ident/g s/\<type_name\>/type_ident/g s/\<symb_name\>/symb_ident/g s/\<tv_name\>/tv_ident/g s/\<av_name\>/av_ident/g s/\<me_symb\>/me_ident/g s/\<ft_symb\>/ft_ident/g s/\<fun_symb\>/fun_ident/g s/\<cons_symb\>/cons_ident/g s/\<sd_symb\>/sd__ident/g git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1340 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-05-14foldExp - added alternative for EEalimarin1-0/+2
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1339 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-05-09improve printing of function names of case, lambda and if expressions for ↵johnvg1-30/+92
clean 2 git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1338 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-04-09don't call normalise if there are no variables in the typeronny1-6/+9
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1337 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-04-01make toString (STE_Kind) total, fixes bug #19ronny1-1/+3
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1336 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-03-17fixed a bug in parsing the "of" token after dynamic type, e.g.:alimarin2-2/+3
case dynamic 1 :: Int of ... git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1335 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-03-13use positive numbers for TypeVarFixedronny1-3/+3
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1334 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-03-13introduced TypeFixedVar constructor for fixed type vars,ronny1-2/+1
the numbers of TypeFixedVars are still negative git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1333 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-03-13changed constructors of TypeCode type in anticipation of things to comeronny3-110/+113
(will break dynamics on disk) git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1332 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-03-13removed _TypePatternVar constructor from TypeCoderonny4-5/+6
The distinction between TypePatternVars and TypeVars is not really necessary. git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1331 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-03-12- added some missing alternatives to toString (Token), fixes bug #12ronny1-75/+84
- reordered alternatives of toString (Token) to match the order of the constructors in the type definition of Token, for easy comparison git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1330 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-03-12extra curried fusion fixesdiederik3-343/+614
extended unused args analysis improved strictness for case instantiation dead code removal git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1329 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-03-12add coredump module to repositorydiederik2-0/+875
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1328 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-03-11added {Project}\backend\Windows project path (for backend_library)ronny1-0/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1327 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-03-10fixed bug #1, case failed when default case contained partial caseronny1-16/+18
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1326 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-03-05removed needlessly complex method to determine if a case will be moved in a ↵ronny1-39/+39
function git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1325 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-03-05latest backend.dll (no version change)ronny1-0/+0
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1324 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-02-25fixed bug 8, incorrect parsing of dynamic id :: (A.a: a->a)ronny1-2/+8
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1323 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-02-24added fusion of unboxed lists of records, movedjohnvg4-94/+102
FI_IsNonRecursive from partition.icl and trans.icl to syntax.dcl, added FI_IsUnboxedListOfRecordsConsOrNil to mark instances of unboxed lists of records generated in type.icl git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1322 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-02-20don't generate abc code to build dictionary for overloaded Niljohnvg2-4/+26
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1321 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-02-19implement fusion of overloaded cons or nil (function) of overloaded lists,johnvg1-43/+130
fix bug in fusion of overloaded cons constructor, enable producers with overloaded list pattern match git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1320 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-02-18fix bug in fusion of an overloaded list pattern match withjohnvg1-33/+57
a lazy or boxed strict list constructor git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1319 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-02-10- bug fix: generate an error for abstract datatypes in dynamic typesmartijnv2-4/+7
(predefined abstract types such as Arrays in dynamic types are now approved). git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1318 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-02-10- bug fix: error for abstract datatypes in dynamic types.martijnv6-35/+62
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1317 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-02-07expand synonym types in dynamics when it's an inferred typeronny1-19/+21
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1316 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-02-06- removed: unused argument 'symb_ident' of toTypeCodeExpressionmartijnv1-22/+22
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1315 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-01-24bug fixes: prevent crash in ReduceArguments and set e_hasindjohnvg1-10/+21
for the node that the indirection node refers to, instead of for the indirection node itself git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1314 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-01-24added convertSymbolTypeWithoutCollectingImportedConstructorsjohnvg3-4/+14
to fix a bug if type synonyms are used and a .tcl file is generated git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1313 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-01-21Fix error in producerRequirementsdiederik1-5/+11
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1312 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-01-15bug fix for non explicit cases with local variables injohnvg1-5/+10
case alternative(s) git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1311 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-01-09fix label names for unboxed lists of records with dynamicsjohnvg3-10/+21
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1310 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-01-08bug fix: copy decons_expr in pattern when copying a function with stricter ↵johnvg1-3/+8
result git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1309 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-01-08Bug fix: uniqueness error in recordssjakie15-90/+140
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1308 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-01-08remove rhs of alternative with an AP_Empty pattern, to preventjohnvg1-1/+1
a compiler crash in transform when a macro uses another macro in a pattern, that are both defined in the same module git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1307 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-01-07fix generated labels for lazy record field selectors if ↵johnvg2-15/+11
ExportedLocalLabels==True git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1306 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-01-07export labels if ExportLocalLabels==True for lazy record selectorsjohnvg2-12/+18
and fix exported label name for unboxed lists of records git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1305 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-01-06prevent compiler crash if an array pattern is not a variablejohnvg1-2/+3
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1304 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-01-06report "macro with function type not allowed" error forjohnvg1-2/+4
macros with a function type, instead of ignoring the type, or crashing when the arity is incorrect git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1303 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-01-02bug fix: check explicit import completeness for TAS constructorjohnvg1-0/+3
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1302 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-12-10Clean 2.0.2 backend.dlljohnvg1-0/+0
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1301 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-12-10bug fix: pass type_index and mod_index in the right orderjohnvg1-1/+1
to function signClassification git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1299 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-12-10set im_def_module field so that the bit in .comp thatjohnvg1-2/+8
indicates a system module will be set git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1298 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d