Wrap tester args in list instead of grabbing head of function call. A…

…dd test to demonstrate difference.
uclid-org · Jun 29, 2024 · cc788ed · cc788ed
1 parent 6f3f8da
commit cc788ed
Show file tree

Hide file tree

Showing 2 changed files with 9 additions and 2 deletions.
diff --git a/src/main/scala/uclid/lang/TypeChecker.scala b/src/main/scala/uclid/lang/TypeChecker.scala
@@ -722,8 +722,8 @@ class ExpressionTypeCheckerPass extends ReadOnlyPass[Set[Utils.TypeError]]
 
       if (funcType1.isInstanceOf[TesterType]) {
         val funcType = funcType1.asInstanceOf[TesterType]
-        val argType = fapp.args.map(typeOf(_, c)).head
-        checkTypeError(funcType.inType == argType, "Argument type error in application", fapp.pos, c.filename)
+        val argType = fapp.args.map(typeOf(_, c))
+        checkTypeError(List(funcType.inType) == argType, "Argument type error in application", fapp.pos, c.filename)
         return BooleanType()
       }
 

diff --git a/test/test-typecheck-empty-tester.ucl b/test/test-typecheck-empty-tester.ucl
@@ -0,0 +1,7 @@
+module main {
+  datatype some_adt = some_ctr();
+
+  init {
+    assert is_some_ctr();
+  }
+}