janhaag/PSE2011 — Issue #40: Axioms not checked in type checker
Author: ratefuchs
Created: 2012-02-26 21:14:30+00:00
State: open

The program

axiom 1; main(){}

passes the typechecker although it is not type correct.