31 Aoû
2016
31 Aoû
'16
20:56
[ You can consult this new issue online at [bugit#4](http://faina.iro.umontreal.ca/bugit.cgi?rep=typer&issue=f6e38e6eb5dba869...). ]
## Author: Stefan Monnier monnier@iro.umontreal.ca ## Date: Wed Aug 31 20:55:51 2016 -0400
As the title say:
f = lambda (x : Type) ≡> x;
will happily be accepted by the elaboration phase, and then crash at run-time.