Test type t cannot be accessed by expanded tlm

Author: charlesetc

.gitignore

@@ -8,27 +8,18 @@
 *.cmxs
 *.cmxa
 *.merlin
-
-# ocamlbuild working directory
-_build/
-
-# ocamlbuild targets
 *.byte
 *.native
 
-# oasis generated files
-setup.data
-setup.log
+# dune working directory
+_build/
+
+# dune .install files
+*.install
 
 # vim files
 *.swp
 *.swo
 
-# .err files generated by cram
-*.err
-
-# .install files generated by jbuilder
-*.install
-
 # generated by tests
 test/cases/dune

example_tlms/test_example/test_parser/parser.mly

@@ -22,6 +22,7 @@ literal:
       | "module" -> [%expr Std.unique () ]
       | "typed_fn" -> [%expr fun (a : new_type) -> a * a ]
       | "badly_typed_fn" -> [%expr fun (a : fake_type) -> a * a ]
+      | "type_t_fn" -> [%expr fun (a : t) -> a * a ]
       | "$( 2 )" ->
           [%expr [%e Relit.ProtoExpr.spliced
             (Relit.Segment.mk (2, 4)) [%type: string ]

test/cases/type_t_not_in_dependencies.re

@@ -0,0 +1,6 @@
+open Regex_example;
+open Test_example;
+
+open Test_example.Test_notation;
+let square = $absurd_int_arrow_int `(type_t_fn)`;
+let () = print_int(square(5));

test/test.ml

@@ -22,6 +22,12 @@ let%expect_test "module_in_dependencies" =
   compile_and_run ~name:"module_in_dependencies";
   [%expect{| 42 |}]
 
+let%expect_test "type_t_not_in_dependencies" =
+  compile_and_run ~name:"type_t_not_in_dependencies";
+  [%expect{|
+    File "test/cases/type_t_not_in_dependencies.re", line 5, characters 13-48:
+    Error: Unbound type constructor t |}]
+
 let%expect_test "type_not_in_dependencies" =
   compile_and_run ~name:"type_not_in_dependencies";
   [%expect{|