Parsing Qualified Record Initialisers

Whiley / WhileyCompiler

The Whiley Compiler (WyC)

http://whiley.org

Apache License 2.0

218 stars 36 forks source link

Open DavePearce opened 4 years ago

DavePearce commented 4 years ago

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 commented 3 years ago

Minimal example:

import std::option with Option

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