Test doc comment not preceding declaration

diku-dk · Nov 27, 2024 · 5d6f1cb · 5d6f1cb
1 parent a3428a0
commit 5d6f1cb
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/tests/doc_comments_may_only_precede_declarations.fut b/tests/doc_comments_may_only_precede_declarations.fut
@@ -0,0 +1,7 @@
+-- ==
+-- error: Documentation comments.*only permitted when preceding declarations
+entry main (x: i32) =
+  let y =
+     | 1337
+     -- | 42
+  in y