Files @ ef37386d0c6f
Branch filter:

Location: CSY/reowolf/testdata/parser/counterexamples/definition_order.pdl - annotation

MH
Put expression types of procedures in type table

Before we annotated the AST. But that is silly in hindsight:
certain operations have a completely different meaning when applied
in a polymorphic context (i.e. the field index determined by a
select expression).
#version 1
// My bad: C-ism of declarations on top

int call_me(int later) {
    return later;
}

int function() {
    int a = 2;
    int b = 3;

    int d = call_me(b); // succeeds, because of assignment
    call_me(b); // bare function call seems to work, unless we perform assignment afterwards

    int d = 5;

    return 2;
}