add couple tests

kylegoetz · Jul 12, 2023 · cb28edd · cb28edd
1 parent f27f42e
commit cb28edd
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/test/corpus/abilities.txt b/test/corpus/abilities.txt
@@ -1,5 +1,5 @@
 ===
-one line structural ability
+[Abilities] one line structural ability
 ===
 structural ability Throw e where throw : e ->{Throw e} a
 
@@ -20,7 +20,7 @@ structural ability Throw e where throw : e ->{Throw e} a
                 (wordy_id))
             (wordy_id))))
 ===
-unique ability
+[Abilities] unique ability
 ===
 unique ability Store a where
   put : a ->{Store a} ()