fix: read space-delimited tokens (as per spec)
This commit is contained in:
@@ -180,8 +180,8 @@ object typeChecker {
|
||||
microWacc.Builtin.Read,
|
||||
List(
|
||||
destTy match {
|
||||
case KnownType.Int => "%d".toMicroWaccCharArray
|
||||
case KnownType.Char | _ => "%c".toMicroWaccCharArray
|
||||
case KnownType.Int => " %d".toMicroWaccCharArray
|
||||
case KnownType.Char | _ => " %c".toMicroWaccCharArray
|
||||
},
|
||||
destTyped
|
||||
)
|
||||
|
||||
Reference in New Issue
Block a user