aboutsummaryrefslogtreecommitdiff
path: root/frontend/type_io.icl
AgeCommit message (Expand)AuthorFilesLines
2014-09-26remove unused constructor TQV of :: type_io.icljohnvg1-7/+0
2013-10-09prevent crash if a newtype is used with -dynamicsjohnvg1-5/+9
2013-05-28prevent crash when writing .tcl file with extensible algebraic types (not yet...johnvg1-24/+16
2013-04-02add type constraints in constructors and function arguments with universal qu...johnvg1-0/+11
2011-11-09add module expand_types containing some functions from module trans and modul...johnvg1-4/+1
2011-11-08remove unnecessary imports of module check,johnvg1-1/+1
2011-11-04remove differences in layout between the compiler and the iTask compilerjohnvg1-6/+6
2011-06-30remove function sel_type_var, use foldSt instead of mapSt with unused list re...johnvg1-47/+24
2011-02-24git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1858 1f8540f1-abd...johnvg1-28/+55
2011-02-23remove unused field wtis_collected_conses of WriteTypeInfoStatejohnvg1-25/+15
2011-02-08remove selectors from .tcl filejohnvg1-44/+10
2011-02-07remove unused cons_arg_vars and cons_index in .tcl filejohnvg1-10/+3
2011-02-02don't write fs_var to .tcl file, because it is the same as fs_ident,johnvg1-8/+4
2011-02-02fix test for predefined module index in write_type_info,johnvg1-4/+2
2007-04-19remove unused field cons_arg_vars,johnvg1-3/+2
2007-04-11rename field cons_index as cons_numberjohnvg1-2/+2
2005-04-22remove code for Clean 1.3johnvg1-10/+0
2004-03-17ignore rank > 1 quantors in type_ioronny1-0/+14
2003-10-07move (open/close)TclFile from type_io to compileronny1-54/+0
2003-06-19write abstract type synonyms in the same way as abstract typesjohnvg1-1/+5
2003-05-16renamed field names of type Ident in syntax treeronny1-8/+8
2003-01-24added convertSymbolTypeWithoutCollectingImportedConstructorsjohnvg1-3/+2
2002-11-19- type synonyms in type definition written to a tcl-file are fully expanded now.martijnv1-74/+43
2002-06-17removed ignored !'sjohnvg1-1/+1
2002-06-10- bug fix:types scopesmartijnv1-1/+12
2002-04-03- collection of used type constructors in unify/coerce. There are two sources:martijnv1-0/+9
2002-02-08- change in strictness informationmartijnv1-20/+40
2002-02-06store strictness annotations in SymbolType instead of ATypejohnvg1-18/+28
2001-11-19Changes:martijnv1-4/+69
2001-09-20Added module owners for convertDynamics, type_io and type_io_commonmartijnv1-0/+3
2001-06-11Bug fix with array updates. Removed redundant code. Adjusted unification algo...sjakie1-13/+1
2001-03-29small bug reported by Ronny repairedmartijnv1-6/+7
2001-03-28minor changes to files associated with dynamics. Most notably is themartijnv1-228/+260
2001-03-26small changesmartijnv1-9/+18
2001-03-15changes:martijnv1-737/+2
2001-03-13Generics are added, but are disabled.alimarin1-0/+1
2001-03-13added 2.0 syntax to type_io.iclmartijnv1-26/+121
2001-03-12made module name optionalmartijnv1-109/+299
2001-03-08Normalizingmartijnv1-2/+122
2001-03-05Bug fixing in module type_io. It now seems to generate themartijnv1-122/+62
2001-03-02no messagemartijnv1-2/+2
2001-03-01- type files worden aangemaakt (buggy)martijnv1-0/+797
generated by cgit v1.2.3 (git 2.39.1) at 2025-03-14 12:40:43 +0000