Skip to main content

UnexpectedType

rascal-0.40.17

Synopsis​

A value of a different type was expected.

Description​

This error signals an incompatibility between expected type and actual type. Some of the situations in which this may occur are assert, variable, solve.

Remedy: adjust the actual type to the expected type.

Examples​

Declaring variable n as int and assigning it a str value gives an error:

rascal>int n = "abc";
|prompt:///|(4,9,<1,4>,<1,13>): Expected int, but got str
Advice: |https://www.rascal-mpl.org/docs/Rascal/Errors/CompileTimeErrors/UnexpectedType|
ok

The solution is to assign an int value to n:

rascal>int n = 123;
int: 123

An assert statement expects an argument of type bool:

rascal>assert 3;
|prompt:///|(0,9,<1,0>,<1,9>): Expected bool, but got int
Advice: |https://www.rascal-mpl.org/docs/Rascal/Errors/CompileTimeErrors/UnexpectedType|
ok