aboutsummaryrefslogtreecommitdiff
path: root/frontend/convertDynamics.icl
AgeCommit message (Expand)AuthorFilesLines
2016-06-06set FI_HasTypeCodes in fi_properties if a function contains type codes andjohnvg1-38/+41
2014-04-03add unit typejohnvg1-0/+2
2013-12-13in derived dynamic types, add uniqueness to algebraic types that are always u...johnvg1-1/+1
2013-04-02add type constraints in constructors and function arguments with universal qu...johnvg1-1/+4
2012-08-14add extendable algebraic data types (merged from iTask branch)johnvg1-2/+2
2012-08-02add pattern match test using =: in expressions,johnvg1-5/+7
2012-05-25commit bug fix from revision 1735 again:johnvg1-13/+3
2012-05-14import module _SystemDynamic instead of StdCleanTypes if -dynamics is used,johnvg1-56/+50
2011-11-10move type TypeCodeVariableInfo to module syntax, remove type DynamicValueAlia...johnvg1-9/+1
2011-11-04remove differences in layout between the compiler and the iTask compiler,johnvg1-2/+3
2011-03-31use type Component instead of Group in the fusion modules: partition, classif...johnvg1-3/+10
2011-02-24git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1858 1f8540f1-abd...johnvg1-9/+16
2011-02-23remove ImportedConstructors result from function convertDynamicPatternsIntoUn...johnvg1-2/+2
2011-02-23remove unused field wtis_collected_conses of WriteTypeInfoStatejohnvg1-6/+1
2011-02-07remove unused types in dynamic patterns in .tcl filejohnvg1-8/+0
2011-02-02fix test for predefined module index in write_type_info,johnvg1-2/+0
2009-06-05keep case_explicit, instead of setting case_explicit to False for alljohnvg1-168/+98
2006-11-01fix convertTypeCode for TCE_Selector, required if TC is used in thejohnvg1-48/+62
2005-11-22removed some code that has no effectjohnvg1-14/+3
2005-11-22removed unused function Fjohnvg1-3/+0
2005-11-22removed use of /*2.0 and 0.2*/johnvg1-7/+1
2005-04-21remove unused variable nr_of_funsjohnvg1-3/+1
2004-04-19remove TC; typesronny1-4/+2
2004-03-17reification of type definitionsronny1-2/+8
2004-02-17cleanup: prune importsronny1-2/+1
2003-10-17added limited support for uniqueness attributes in dynamic typesronny1-0/+8
2003-08-19removed unused administrationsronny1-6/+6
2003-08-19removed unused global type codes argumentsronny1-26/+17
2003-05-16renamed field names of type Ident in syntax treeronny1-13/+13
2003-04-09don't call normalise if there are no variables in the typeronny1-6/+9
2003-03-13use positive numbers for TypeVarFixedronny1-3/+3
2003-03-13introduced TypeFixedVar constructor for fixed type vars,ronny1-2/+1
2003-03-13removed _TypePatternVar constructor from TypeCoderonny1-1/+2
2002-11-19- type synonyms in type definition written to a tcl-file are fully expanded now.martijnv1-24/+27
2002-11-12bug fix,ronny1-3/+3
2002-11-07correct numbering of type vars in right-hand side dynamicsronny1-3/+6
2002-10-31Fix bug where wrong type code constructor was selected.ronny1-4/+4
2002-10-14new type code and type code constructor representationronny1-206/+170
2002-09-20moved var info definitions to the modules where they are usedronny1-0/+3
2002-09-20switch to 2.0 syntax, remove duplicated definitions from icl modulesronny1-5/+0
2002-09-19major rewrite dynamicsronny1-1007/+626
2002-07-29move typedefs from trans to syntax; allow for uncurried instances; fix compar...diederik1-1/+1
2002-06-17removed ignored !'sjohnvg1-3/+3
2002-06-10- bug fix:types scopesmartijnv1-1/+8
2002-05-14- improved handling of equivalent types within one application to share amartijnv1-2/+2
2002-04-04* bug fix to correctly separate types without Clean definition from types whichmartijnv1-2/+1
2002-04-03- collection of used type constructors in unify/coerce. There are two sources:martijnv1-83/+118
2002-03-11- bug fix: added a forgotten alternative to function convertDynamics formartijnv1-3/+1
2002-03-11- bug fix: added a forgotten alternative to function convertDynamics formartijnv1-4/+5
2002-02-11removed comments that marked various patchesronny1-128/+16