diff options
| author | Nadrieril | 2019-08-26 23:18:11 +0200 |
|---|---|---|
| committer | Nadrieril | 2019-08-27 13:52:37 +0200 |
| commit | c13a100c36c3b54d76dba2207aa75fa6736ebadc (patch) | |
| tree | 2790c2416a7b87a6ba9808af2cd43313f67eb8e6 /tests_buffer | |
| parent | f3a66c3603b01cb61334caee4a4749cac166b675 (diff) | |
Remove rule aliasing
Diffstat (limited to 'tests_buffer')
| -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 |