struct foo
a: number
- b:string = "hello"
+ b:string = "hello"; d:Boolean
func main()
c := "hello"
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
b:string
struct foo
c:number
+ x:[5]:string
###### output: type_err5
.tmp.code:8:7: error: type already declared: foo
.tmp.code:2:7: info: this is location of declartion: foo
+ .tmp.code:10:13: Syntax error in struct field: :
.tmp.code:5:7: error: type has recursive definition: baz
.tmp.code:2:7: error: type has recursive definition: foo