From 34262371bc97fc2a339ee26ca1df7bc7583df98a Mon Sep 17 00:00:00 2001
From: FedericoAureliano <fmorarocha@gmail.com>
Date: Wed, 3 Jul 2024 22:42:21 -0700
Subject: [PATCH] add test case from #250 to CI

---
 src/test/scala/ParserSpec.scala | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/src/test/scala/ParserSpec.scala b/src/test/scala/ParserSpec.scala
index d958967f..27944ef6 100644
--- a/src/test/scala/ParserSpec.scala
+++ b/src/test/scala/ParserSpec.scala
@@ -45,6 +45,11 @@ import uclid.{lang => l}
 import java.io.File
 
 class ParserSpec extends AnyFlatSpec {
+  "test-typecheck-empty-tester.ucl" should "parse successfully" in {
+    val fileModules = UclidMain.compile(ConfigCons.createConfig("test/test-typecheck-empty-tester.ucl"), lang.Identifier("main"))
+    val instantiatedModules = UclidMain.instantiateModules(UclidMain.Config(), fileModules, lang.Identifier("main"))
+    assert (instantiatedModules.size == 1)
+  }
   "test-adt-5-reusingdatatypename.ucl" should "not parse successfully." in {
     try {
       val filename = "test/test-adt-5-reusingdatatypename.ucl"