From c5861cdd0c510e6f8ef0705cce5e218b90ba7660 Mon Sep 17 00:00:00 2001
From: Alexander Bandukwala <7h3kk1d@gmail.com>
Date: Mon, 4 Nov 2024 10:56:42 -0500
Subject: [PATCH] Add commented out test for constructor with a type variable

---
 test/Test_Menhir.re | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/test/Test_Menhir.re b/test/Test_Menhir.re
index c9e501d77a..7c9fbf4089 100644
--- a/test/Test_Menhir.re
+++ b/test/Test_Menhir.re
@@ -273,6 +273,11 @@ let tests = [
     Constructor("A", Int |> Typ.fresh) |> Exp.fresh,
     "A ~ Int",
   ),
+  // menhir_only_test(
+  //   "Constructor with Type Variable",
+  //   Constructor("A", Var("T") |> Typ.fresh) |> Exp.fresh,
+  //   "A ~ T",
+  // ),
   parser_test(
     "Type Alias",
     TyAlias(Var("x") |> TPat.fresh, Int |> Typ.fresh, Int(1) |> Exp.fresh)