// Purpose: test that adding an integer and a real is not allowed
// Description: a simple module that contains an integer variable, a real variable, and a function that adds them together
// Expectation: UCLID5 should return a type error at line 11
// Validation: removing type checking from UCLDI5 should make this test fail at the solver side

module main {
    var x: integer;
    var y: real;

    define foo() : integer =
        x + y;
}
