x:Boolean = $"42"
+ five ::= 5
+ four ::= 4
+ x1:[five]number
+ x2:[four]number
+ x1 = x2
+
###### output: type_err3
.tmp.code:8:12: error: expected number but variable 'c' is string
.tmp.code:7:8: info: this is where 'c' was set to string
.tmp.code:41:29: error: string cannot provide length
.tmp.code:43:21: error: Can only convert string to number, not Boolean
.tmp.code:43:8: info: variable 'x' was set as Boolean here.
+ .tmp.code:49:13: error: expected [five]number but variable 'x2' is [four]number
+ .tmp.code:48:8: info: this is where 'x2' was set to [four]number
+ .tmp.code:49:8: error: cannot assign value of type [five]number
+ .tmp.code:47:8: info: variable 'x1' was set as [five]number here.
oceani: type error in program - not running.
###### test: type_err4