WhileyCompiler icon indicating copy to clipboard operation
WhileyCompiler copied to clipboard

Parsing Qualified Record Initialisers

Open DavePearce opened this issue 5 years ago • 1 comments

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.

DavePearce avatar Apr 22 '20 21:04 DavePearce

Minimal example:

import std::option with Option

method main() -> Option<int>:
    return option::Some{value:0}

DavePearce avatar Jun 02 '21 03:06 DavePearce