diff options
| author | Nadrieril | 2019-08-31 21:59:39 +0200 |
|---|---|---|
| committer | Nadrieril | 2019-08-31 21:59:39 +0200 |
| commit | aba7e62e49ac9dead0a2868f739091d2d15ff0d1 (patch) | |
| tree | 6c257318d9706ed1ea1336eef2059ac826719194 /tests_buffer | |
| parent | a2c2cd76d256a4e6ca66b9b1bd756fb17e600ef5 (diff) | |
Implement parsing of `toMap` keyword
Diffstat (limited to 'tests_buffer')
| -rw-r--r-- | tests_buffer | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/tests_buffer b/tests_buffer index 67de9eb..446c3f0 100644 --- a/tests_buffer +++ b/tests_buffer @@ -10,6 +10,8 @@ success/ LetNoAnnot let x = y in e LetAnnot let x: T = y in e EmptyRecordLiteral {=} + ToMap toMap x + ToMapAnnot toMap x : T failure/ AssertNoAnnotation assert |