semantics and some more typing rules

[proglang.git] / examples / typeerror-funcnoreturn

int a(){
        int a;
}