WhileyCompiler
WhileyCompiler copied to clipboard
Invoking Lambda's from Arrays
The following does not parse for reasons unknown:
type fn is function()->(int)
method m(fn[] fs):
assume fs[0]() == 11