loop variable, type inference

[michaellilltokiwa]

In this example Sequence i32 could be automatically chosen to be the type of x.

ex =>

  for
    x := [2], x.map id
  do
    say x

/home/sam/playground/test.fz:4:5: error 1: Incompatible types when passing argument in a call
    x := [2], x.map id

Actual type for argument #1 'x' does not match expected type.
In call to          : 'ex.loop'
expected formal type: 'array i32'
actual type found   : 'Sequence i32'
assignable to       : 'Sequence i32'
for value assigned  : 'x'
To solve this, you could change the type of the target 'x' to 'Sequence i32' or convert the type of the assigned value to 'array i32'.

one error.

We only should choose one of the types. Not some common super type:

In this case (array i32 and list i32) we do not want to automatically choose Sequence i32.

ex =>

  for
    x := [2], x.as_list
  do
    say x