aboutsummaryrefslogtreecommitdiff
path: root/backend
AgeCommit message (Collapse)AuthorFilesLines
2014-04-03add unit typejohnvg1-0/+29
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@2365 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2013-04-02add type constraints in constructors and function arguments with universal ↵johnvg1-0/+2
quantifier (from iTask branch) git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@2218 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2012-08-14rename extendable to extensiblejohnvg1-1/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@2150 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2012-08-14add extendable algebraic data types (merged from iTask branch)johnvg4-5/+20
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@2149 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2011-11-10move type TypeCodeVariableInfo to module syntax, remove type ↵johnvg1-4/+0
DynamicValueAliasInfo, adjust imports git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@2027 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2011-11-08rename module StdCompare to compare_typesjohnvg1-1/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@2015 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2011-11-08add import StdComparejohnvg1-1/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@2011 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2011-04-15git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1926 ↵johnvg1-2/+2
1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2011-04-08fix type checking of existential type variables that are used by a dynamic ↵johnvg1-2/+6
expression, but do not occur in the type of a dynamic pattern. TempQDV is used for existential type variables in a dynamic pattern. git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1911 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2011-03-31use type Component instead of Group in the fusion modules: partition, ↵johnvg2-7/+45
classify and trans, because function pointers for generated functions are stored in the Component, they can be found without searching the new functions list git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1895 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2011-03-01git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1871 ↵johnvg4-43/+53
1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2011-02-24git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1858 ↵johnvg1-19/+3
1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2011-02-11use ClassInstanceMember array for ins_members instead of DefinedSymbol array,johnvg1-8/+8
call exported generic instances directly git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1838 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2011-01-24change BESpecialIdentCountjohnvg1-1/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1823 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2011-01-24use p instead of I for pointers in ccalljohnvg1-128/+130
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1820 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2008-12-19remove BENrOfBasicDenotsjohnvg2-2/+2
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1712 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2008-01-03move function remove_first_n from backendinterface to containersjohnvg1-19/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1696 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2007-09-10rename NormalSelectorUniqueElementResult as UniqueSelectorUniqueElementResult,johnvg1-4/+5
use UniqueSingleArraySelector for a![i] instead of NormalSelector and add UniqueSingleArraySelectorUniqueElementResult git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1686 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2007-04-13implement newtypejohnvg1-1/+6
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1674 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2007-01-10remove //1.3 //3.1johnvg2-8/+0
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1635 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2006-04-07use BEGetIntFromArray instead of BECopyIntsjohnvg1-1/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1594 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2006-03-24the backend uses 0 if a line number is unknown, not -1johnvg1-1/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1593 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2006-01-05use BEGetIntFromArray instead of BECopyIntsjohnvg1-1/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1588 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2006-01-05use BEGetIntFromArray instead of BECopyInts to fix a problem if integersjohnvg3-2/+17
have different sizes in clean and c git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1585 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2005-12-16use the same file for list all types and list exported types as for listjohnvg2-25/+11
inferred types, list all types and list exported types didn't work on solaris, this should be fixed now git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1582 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2005-11-25remove some unnecessary copying while creating lists of function indicesjohnvg1-5/+4
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1578 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2005-11-18check kinds of local functions,johnvg1-4/+5
move function indices in IclModule to separate record git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1563 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2005-01-10changed version number and name of universityronny2-2/+2
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1504 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2004-04-19remove TC; typesronny1-21/+41
type constructors in dynamic types are now uniquely represented by the descriptor of their TD_ (type definition) function git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1486 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2004-04-02implement foreign export with stdcalljohnvg3-10/+10
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1483 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2004-03-17removed useless function convertLhsNodeDefsronny1-20/+4
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1466 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-12-22use class_ident in typeToClass to prevent ';' after class namejohnvg1-46/+35
when printing types, rename dtci_dclModule (was dtic_dclModule) git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1441 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-12-15add foreign exportjohnvg1-1/+10
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1436 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-12-15add BEInsertForeignExportjohnvg2-0/+8
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1435 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-12-15add BEInsertForeignExportjohnvg2-0/+2
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1434 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-12-12removed unused argument of FP_AlgebraicPatternronny1-12/+5
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1430 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-12-12removed unused FP_Pattern alternativesronny1-22/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1429 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-12-11move FunctionPattern type from syntax to backendconvertjohnvg2-11/+6
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1428 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-12-11remove BackendBodyjohnvg2-28/+0
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1427 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-12-11use 'Error: ' instead of '[Backend]' in the backend too oldjohnvg1-2/+2
or new error messages, so that the IDE recognizes this as an error instead of info. git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1425 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-10-27update backend version number for 2.1 releaseronny2-2/+2
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1417 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-10-16add extra attribute argument to BEFlatType andjohnvg1-37/+33
the is_boxed_record argument to BERecordType, use abstract type synonyms, remove BEUpdateKind, increment version number git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1392 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-10-16add extra attribute argument to BEFlatType andjohnvg1-13/+7
the is_boxed_record argument to BERecordType git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1391 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-10-16add extra attribute argument to BEFlatType andjohnvg1-15/+11
the is_boxed_record argument to BERecordType, remove BEUpdateKind, increment version number git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1390 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-10-15update version to 2.1.0 alpha 0ronny2-2/+2
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1388 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-06-19s/sd__ident/sd_ident/gronny1-3/+3
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1353 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-06-17removed unused functionsronny4-105/+74
updated version (necessary because previous commit introduced incompatibilities) git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1349 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 PA bug workaroundronny1-1/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1342 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-05-16renamed field names of type Ident in syntax treeronny3-43/+43
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
generated by cgit v1.2.3 (git 2.39.1) at 2025-03-13 13:53:07 +0000