tests

Kraks · Jul 12, 2024 · cca5671 · cca5671
1 parent 1e830c8
commit cca5671
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/src/test/scala/avoidancestlc/TypeCheck.scala b/src/test/scala/avoidancestlc/TypeCheck.scala
@@ -17,7 +17,6 @@ import ExprSyntax.given_Conversion_Int_ENum
 class AvoidanceSTLCTests extends AnyFunSuite {
   def parseAndCheck(s: String): QType = topTypeCheck(parseToCore(s))
 
-  /*
   test("escaping closures") {
     val e1 =
       let("x" ⇐ alloc(3)) {
@@ -137,7 +136,6 @@ class AvoidanceSTLCTests extends AnyFunSuite {
     """
     assert(parseAndCheck(p6) == (TFun("g","𝑥#0",TUnit^(),TRef(TNum)^"g")^ ◆))
   }
-  */
 
   test("mono pair") {
     def makePair(t: String)(a: String, b: String) = s"""