test: parse a class

aya-prover · Jun 9, 2024 · d4091bb · d4091bb
1 parent 05e48ac
commit d4091bb
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/base/src/test/java/org/aya/syntax/concrete/SyntaxTest.java b/base/src/test/java/org/aya/syntax/concrete/SyntaxTest.java
@@ -28,6 +28,11 @@ def bar (A : Type 0) : A -> A => fn x => {? x ?}
         let open Nat in
         let n := a + b in n
       tighter + looser +
+      open class Cat
+      | A : Type
+      open class Monoid
+      | A : Type
+      | infixl + : Fn (a b : A) -> A
       """);
     for (var stmt : res) {
       assertNotNull(stmt.toDoc(AyaPrettierOptions.debug()).debugRender());