index
:
compiler
master
Fork of the Clean compiler for experimenting with new features
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
frontend
/
checktypes.dcl
Age
Commit message (
Expand
)
Author
Files
Lines
2013-04-04
add type constraints in dynamic types
johnvg
1
-2
/
+2
2013-04-02
add type constraints in constructors and function arguments with universal qu...
johnvg
1
-2
/
+2
2011-11-10
move type TypeCodeVariableInfo to module syntax, remove type DynamicValueAlia...
johnvg
1
-1
/
+1
2011-11-08
remove differences in layout between the compiler and the iTask compiler
johnvg
1
-5
/
+7
2011-04-15
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1926 1f8540f1-abd...
johnvg
1
-2
/
+2
2011-04-14
use type FunSpecials instead of Specials for specials of functions
johnvg
1
-2
/
+2
2005-11-11
remove code for compatibility with Clean 1.3
johnvg
1
-5
/
+0
2002-03-25
new implementation of generics
alimarin
1
-2
/
+7
2001-10-18
store macros and local functions in macros in separate {#{#FunDef}},
johnvg
1
-2
/
+2
2001-10-08
universally quantified attribute variables in typedefs added
sjakie
1
-1
/
+1
2001-09-24
removed kind correctness checking module
sjakie
1
-13
/
+3
2001-09-21
Bug fix: caching combined with omitted type and class definitions
sjakie
1
-4
/
+4
2001-08-27
universally quantified types added
sjakie
1
-1
/
+1
2001-03-20
Sjaak: fixed inheritance bugs and strictness attributes
sjakie
1
-3
/
+6
2001-03-13
Generics are added, but are disabled.
alimarin
1
-0
/
+2
2001-03-08
Normalizing
martijnv
1
-1
/
+1
2001-01-12
New algorithm for explicit imports that also works with cyclic module depende...
martinw
1
-0
/
+3
2000-10-26
added new error messages
martinw
1
-1
/
+1
2000-04-26
changes to make compiler compatible with itself
martinw
1
-0
/
+3
1999-11-10
extension: not necessary to repeat definitions of dcl-module in icl-module
sjakie
1
-3
/
+3
1999-10-05
Initial import
ronny
1
-0
/
+25