WhileyCompiler
WhileyCompiler copied to clipboard
Parsing Qualified Record Initialisers
There is a problem parsing qualified record initialisers, like so:
return st,[
io::Get{url:"/compile",ok:&ok_handler,error:&err_handler}
]
Here, io::Get is the problem. However, if use imports and rewrite as Get{url ...} then it's fine.
Minimal example:
import std::option with Option
method main() -> Option<int>:
return option::Some{value:0}