WhileyCompiler
                                
                                 WhileyCompiler copied to clipboard
                                
                                    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}