CSY/reowolf Files · testdata/parser/counterexamples/out_of_order_assignment.pdl

Files @ 17fe648a8934

Branch filter:

Location: CSY/reowolf/testdata/parser/counterexamples/out_of_order_assignment.pdl

17fe648a8934 201 B text/plain Show Annotation Show as Raw Download as Raw

Partial reimplementation of compiler and TypeTable

Every type symbol and its possible polymorphic variables are now
parsed up front and put in the SymbolTable, doing away with the
complicated and error-prone NamespacedIdentifier. Still pending
changes to parts of the compiler and the runtime, so not working
at the moment.

// It fails, so that is nice, but it fails due to the wrong reasons
// My bad: C-ism of declarations on top
bool some_function() {
    result_c = false;
    bool result_c = true;
    return result_c;
}