janhaag/PSE2011 — Issue #41: Main function ensures not type checked
Author: ratefuchs
Created: 2012-02-26 21:16:11+00:00
State: open

The program

main(){} ensure 1;

passes the typechecker although it is not type correct.
It works correctly with ensures for other functions.