Fridtjof Siebert

This example similar to the one from #3160 ``` a(A type) is b is type.hi => say "hi" x : a(u8).b is x.type.hi ``` results in an unjustified error within...

PR #3157 has code variants that are marked as `NYI BUG` because they currently result in crashes at runtime (`AbstractMethodError` for JVM backend, `unhandled dynamic target` for C backend) that...

`x.0` works for a tuple ``` > ./build/bin/fz -e "f(x (i32,i32)) => { say x.0 }; f (47,11)" 47 ``` `x.val.0` should then work for an `option` of a `tuple`,...

Anonymous feature syntax `ref` vs `_` and missing `is`

2

The current syntax for an anonymous feature is like this (example taken from `String.fz`: ``` public type.concat(a, b String) String => ref : String utf8 Sequence u8 => a.utf8 ++...

This example calls a type feature that is abstract ``` t is type.doit unit => abstract test(X type : t) => X.doit test t ``` which results in a NYI-error...

attempt to run `DFA` while building `FUIR`.

Try this ``` > FUZION_DISABLE_ANSI_ESCAPES=true ./build/bin/fz -e 'a := String.concat 1 2 3 4 5 6; x := a.utf8' command line:1:40: error 1: Could not find called feature a :=...

Incompatible types found during type inference error not justified

2

The following example produces an `Incompatible types found during type inference for type parameters`-error that is unclear (which type parameter are inferenced?) and why does the same example using `if`/`then`...

In this example ``` test_infer_result is x(T type, a, b T) => say T y(T type, a, b ()->T) => say T x 42 "bla" y ()->42 ()->"bla" ``` Two...

Type inference in this small example does not work ``` > ./build/bin/fz -e 'o outcome String := "bla"; ignore (o.bind say)' command line:1:38: error 1: Failed to infer actual type...