Open samvv opened 1 year ago
We have chosen := to mean assignment in our language.
:=
let mut foo: Int foo := 1 if toss. foo += foo
AssignStatement
infer()
We have chosen
:=
to mean assignment in our language.Implementation Strategy
AssignStatement
nodeAssignStatement
ininfer()
in the type checker