hashc

hashc copied to clipboard

kontheocharis

kontheocharis

This should happen after resolution, before typechecking. Elided arguments should be created as holes.

kontheocharis

For example, `x := 3` should default as `x: i32`.

kontheocharis

kontheocharis

kontheocharis

This should probably be a different variant of FnBody

kontheocharis

kontheocharis

Declarations should not be allowed when not inside a body block

1

The snippet `() => (x := 1)` should produce an error, and suggest to instead write `() => { x := 1 }`, since the former does not have a...

kontheocharis

feds01