feat(parser): add simple test for type annotation

raf-nr · Nov 17, 2024 · 9846f65 · 9846f65
1 parent 1a6411d
commit 9846f65
Show file tree

Hide file tree

Showing 2 changed files with 21 additions and 0 deletions.
diff --git a/lib/tests/dune b/lib/tests/dune
@@ -0,0 +1,7 @@
+(library
+ (name tests)
+ (modules test_parser)
+ (libraries arML_lib parser ast)
+ (inline_tests)
+ (preprocess
+  (pps ppx_expect ppx_deriving.show)))
diff --git a/lib/tests/test_parser.ml b/lib/tests/test_parser.ml
@@ -0,0 +1,14 @@
+(* * Copyright 2024, raf-nr and ksenmel *)
+
+(** SPDX-License-Identifier: LGPL-3.0-or-later *)
+
+open Base
+
+let run code =
+  match Parser.parse code with
+  | Ok ast -> Stdlib.Format.printf "%a\n" Ast.pp_program ast
+  | Error s -> Stdlib.Format.printf "Parsing error: %s\n" s
+;;
+
+let%expect_test "simple annotation" =
+  run "let (x : int) = 3" ;