summaryrefslogtreecommitdiff
path: root/Test/dafny0/NestedMatch.dfy
Commit message (Expand)AuthorAge
* Type parameters in method/function signatures are no longer auto-declared. A...Gravatar Rustan Leino2015-07-02
* Allow MatchExpr and MatchStmt to have nested patterns. Such asGravatar qunyanm2015-05-14