Whiley / WhileyCompiler

The Whiley Compiler (WyC)
http://whiley.org
Apache License 2.0
217 stars 36 forks source link

Interpreter Error Reporting for Casts #1146

Closed DavePearce closed 2 years ago

DavePearce commented 2 years ago

Currently, the interpreter reports errors for casts in the wrong place. For example, this:

type scf4list is (int[] list) where |list| > 0

function f(scf4list x) -> int:
    return 1

public export method test() :
    int[] x = [0;0]
    f((scf4list) x)

We get all of (scf4list) x underlined, rather than just x.