From d77078d6623e155738688cd31bde36e2617d9a18 Mon Sep 17 00:00:00 2001
From: Lukasz Czajka <lukasz@heliax.dev>
Date: Sun, 1 Dec 2024 16:54:09 +0100
Subject: [PATCH] test

---
 tests/positive/Format.juvix | 14 ++++++++++++++
 1 file changed, 14 insertions(+)

diff --git a/tests/positive/Format.juvix b/tests/positive/Format.juvix
index 5c52cf9121..f88662135b 100644
--- a/tests/positive/Format.juvix
+++ b/tests/positive/Format.juvix
@@ -530,4 +530,18 @@ module PublicImports;
   axiom a : Inner.X.Y.Z.Nat;
 end;
 
+--- Judoc comment 0
+syntax fixity aaa := binary {};
+
+--- Judoc comment 1
+syntax alias Value := Nat;
+
+--- Judoc comment 2
+syntax iterator op;
+
+--- Judoc comment 3
+syntax operator op aaa;
+--- Judoc comment 4
+op (x y : Nat) : Nat := x + y;
+
 -- Comment at the end of a module