diff options
| author | Nadrieril Feneanar | 2019-08-27 22:57:47 +0200 |
|---|---|---|
| committer | GitHub | 2019-08-27 22:57:47 +0200 |
| commit | 7d11bebc8f2047bb5a26f7f52ae0bd1f60bb6367 (patch) | |
| tree | 95762c307974eab19a8346646e6046e2ef55af9c /tests_buffer | |
| parent | 959c13bc68980fe8bc884e3eb46e5e79272a4eba (diff) | |
| parent | cddb3b0a0270cf6d41bbaa1a0e01708e91a9673c (diff) | |
Merge pull request #107 from Nadrieril/rework-parser
Rework parser macros
Diffstat (limited to '')
| -rw-r--r-- | tests_buffer | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tests_buffer b/tests_buffer index 1ad880e..67de9eb 100644 --- a/tests_buffer +++ b/tests_buffer @@ -9,6 +9,7 @@ success/ PrecedenceAll2 a b != c == d * e ⩓ f ⫽ g ∧ h && i # j ++ k + l || m ? n LetNoAnnot let x = y in e LetAnnot let x: T = y in e + EmptyRecordLiteral {=} failure/ AssertNoAnnotation assert |