From e6c03aa7f8ccaab185b7e424482fac5b4e390907 Mon Sep 17 00:00:00 2001
From: Thomas Weber <weber_t@mailbox.org>
Date: Mon, 7 Dec 2020 21:11:11 -0600
Subject: [PATCH] js: args.stringNumber is of unknown type

---
 src/compiler/jsgen.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/compiler/jsgen.js b/src/compiler/jsgen.js
index 9af1a8f1..4b800e2a 100644
--- a/src/compiler/jsgen.js
+++ b/src/compiler/jsgen.js
@@ -328,7 +328,7 @@ class JSGenerator {
         case 'args.boolean':
             return new TypedInput(`toBoolean(p${node.index})`, TYPE_BOOLEAN);
         case 'args.stringNumber':
-            return new TypedInput(`p${node.index}`, TYPE_BOOLEAN);
+            return new TypedInput(`p${node.index}`, TYPE_UNKNOWN);
 
         case 'compat':
             return new TypedInput(`(${this.generateCompatibilityLayerCall(node)})`, TYPE_UNKNOWN);