aboutsummaryrefslogtreecommitdiff
path: root/frontend/unitype.dcl
AgeCommit message (Expand)AuthorFilesLines
2013-04-02add type constraints in constructors and function arguments with universal qu...johnvg1-6/+3
2005-09-16make line number in thejohnvg1-1/+1
2001-10-03replace uniqueCopy with copyCoercionsronny1-0/+2
2001-08-27Universally quantified types addedsjakie1-4/+5
2001-06-11Bug fix with array updates. Removed redundant code. Adjusted unification algo...sjakie1-2/+4
2001-01-19uniqueness unification for types of functions that are generatedmartinw1-7/+22
2000-08-15improved typing error messages: type variables are printed like "a" insteadmartinw1-2/+0
2000-08-01improving error messagesmartinw1-0/+2
2000-02-07commit for Sjaak by RWSsjakie1-2/+3
1999-10-19extension: improved error messages for uniqueness typessjakie1-3/+5
1999-10-05Initial importronny1-0/+48