From 7bac7bdc3ecb17c25b948c6c540d2228f5074bed Mon Sep 17 00:00:00 2001 From: Irmen de Jong Date: Sat, 1 May 2021 13:39:02 +0200 Subject: [PATCH] more precise --- compilerAst/src/prog8/ast/expressions/InferredTypes.kt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/compilerAst/src/prog8/ast/expressions/InferredTypes.kt b/compilerAst/src/prog8/ast/expressions/InferredTypes.kt index c55c5ef54..2fe386ac5 100644 --- a/compilerAst/src/prog8/ast/expressions/InferredTypes.kt +++ b/compilerAst/src/prog8/ast/expressions/InferredTypes.kt @@ -10,7 +10,7 @@ object InferredTypes { require(!(datatype!=null && (isUnknown || isVoid))) { "invalid combination of args" } } - val isKnown = datatype!=null + val isKnown = datatype!=null && datatype!=DataType.UNDEFINED fun typeOrElse(alternative: DataType) = if(isUnknown || isVoid) alternative else datatype!! infix fun istype(type: DataType): Boolean = if(isUnknown || isVoid) false else this.datatype==type