From e4abd53c65df2e7f36fddacf6b23ce8e77fac01a Mon Sep 17 00:00:00 2001
From: Jonathan Cubides <jonathan.cubides@uib.no>
Date: Wed, 7 Jun 2023 18:14:14 +0200
Subject: [PATCH] Add comments between/above modules and more

---
 tests/positive/Format.juvix | 21 +++++++++++++++++----
 1 file changed, 17 insertions(+), 4 deletions(-)

diff --git a/tests/positive/Format.juvix b/tests/positive/Format.juvix
index 4f31995d1e..c8ef8d1854 100644
--- a/tests/positive/Format.juvix
+++ b/tests/positive/Format.juvix
@@ -1,9 +1,20 @@
-module Format;
+{-- This is Judoc block comment --}
+module -- Declaring a top module of name:
+Format;
+
+import -- Import a module of name:
+Stdlib.Prelude open -- Bring all names into scope but..
+hiding -- Hide some names
+{-- like this 
+,; -- don't want , here
+-- Bool either 
+Bool; true; false};
 
-import Stdlib.Prelude open hiding {,};
 import Stdlib.Data.Nat.Ord open;
 
+-- Lorem ipsum dolor sit amet, consectetur adipiscing elit
 terminating
+-- Comment between terminating and type sig
 go : Nat → Nat → Nat;
 go n s :=
   if
@@ -11,8 +22,10 @@ go n s :=
     (go (sub n 1) s)
     (go n (sub s n) + go (sub n 1) s);
 
-module M;
-  syntax infixr 4 ,;
+module {- local module -}
+M;
+  syntax -- syntax in local modules
+  infixr 4 ,;
   axiom , : String → String → String;
 end;