make sure #extern inputLines is Array<String>

This commit is contained in:
2021-08-01 18:02:42 -06:00
parent cea3e9e292
commit 2623b5d543

View File

@@ -835,7 +835,7 @@ class Macros {
bindingList[idx + 1] = untypedName;
default:
}
stringifyExpList.push(b.callSymbol("tink.Json.stringify", [b.the(b.symbol(type), bindingList[idx + 1])]));
stringifyExpList.push(b.the(b.symbol("String"), b.callSymbol("tink.Json.stringify", [b.the(b.symbol(type), bindingList[idx + 1])])));
parseBindingList.push(bindingList[idx]);
parseBindingList.push(b.callSymbol("tink.Json.parse", [b.callField("readLine", b.callSymbol("Sys.stdin", []), [])]));
idx += 2;