Add If Expression - Githubissues

Whiley / WhileyCompiler

The Whiley Compiler (WyC)

http://whiley.org

Apache License 2.0

217 stars 36 forks source link

Closed DavePearce closed 2 years ago

DavePearce commented 2 years ago

So can implement sum(). Ideas:

[x] Change body of Property to Stmt rather than Expr.
[x] Update parser to only parse limited statement forms within a property context.