repositories / cc1516.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
faculty
[cc1516.git] / examples / old / Markus / infinite_type_shouldfail.spl
1 // An example from the slides. This should give a type error.
2
3 f(x)
4 {
5 return f( (x, x) );
6 }
7
8 main() {return;}
9
10 //result: right now no type error...
Unnamed repository; edit this file 'description' to name the repository.