summaryrefslogtreecommitdiff
path: root/tests_buffer
diff options
context:
space:
mode:
authorNadrieril2019-08-26 23:18:11 +0200
committerNadrieril2019-08-27 13:52:37 +0200
commitc13a100c36c3b54d76dba2207aa75fa6736ebadc (patch)
tree2790c2416a7b87a6ba9808af2cd43313f67eb8e6 /tests_buffer
parentf3a66c3603b01cb61334caee4a4749cac166b675 (diff)
Remove rule aliasing
Diffstat (limited to '')
-rw-r--r--tests_buffer1
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