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

Files @ b4a9c41d70da

Branch filter:

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

b4a9c41d70da 201 B text/plain Show Annotation Show as Raw Download as Raw

Initial casting implementation

Explicit casts can be performed with the syntax 'cast<type>(input)'
and implicit casts can be performed with the syntax 'cast(input)'
where the output type is determined by inference.

To prevent casting shenanigans we only allow casting of primitive
types and of types to themselves (essentially creating a copy).

// 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;
}