Fridtjof Siebert

`Duplicate feature declaration` falsely reports conflict with module-visible feature

1

See this definition of `num.sign.is_plus` that should exist in parallel to the same named feature of the base lib: ``` > ./build/bin/fz -e "num.sign.is_plus => true" command line:1:10: error 1:...

Actual type parameters not checked sufficiently strictly resulting in crashes

1

This small example defines feature `a` that receives an argument of type `S type : Sequence U`, but if `U` is `bool`, then `S` might be `Seqence i32`: ``` a(U...

Check this example that uses qualified type parameters in `d`, `e`, `f` and`e`: ``` test_generics is a(X, Y type, v X, w Y, o option X, a Sequence Y) is...

Currently, there is no `monad.bind`. There is a `outcome.bind`, but this a `monad.infix >>=~`, but this is not implemented by monads like `outcome` and it has some drawbacks: the type...

This ``` f(a T, b T->T) => b a x := 42 y := f x v->2*v say y ``` works ``` > ./build/bin/fz test_lambda.fz 84 ``` but using parentheses...

Try this ``` > ./build/bin/fz -e 'n => n' ``` does not finish... This is not a bug, type inference determines the result of of `n` to be `void` and...

This small example ``` testxy is type.x => option y nil type.y is ``` either crashes `fz` if pre/postconditions are enabled: ``` > PRECONDITIONS=true POSTCONDITIONS=true ../clean/fuzion/build/bin/fz testxy.fz error 1: java.lang.Error:...

This ``` e : effect is stop => e.type.abort e.this ``` results in the following error ``` > ../clean/fuzion/build/bin/fz test_e_this.fz /home/fridi/fuzion/work/test_e_this.fz:3:24: error 1: Incompatible types when passing argument in a...

Use this code ``` e is type.p e.this => do type.b unit => p unit ``` to get ``` > PRECONDITIONS=true POSTCONDITIONS=true ./build/bin/fz test_e.fz error 1: java.lang.Error: check-condition failed: ResolvedParametricType.java:122...

Try this: ``` > PRECONDITIONS=true POSTCONDITIONS=true ./build/bin/fz -e "_ := io.out.env" error 1: java.lang.Error: check-condition failed: Clazzes.java:841 "(Errors.any() || i < afs.length);" at dev.flang.util.ANY.check(ANY.java:440) at dev.flang.air.Clazzes.findClazzes(Clazzes.java:841) at dev.flang.air.Clazz$EV.action(Clazz.java:138) at dev.flang.ast.Expr.visitExpressions(Expr.java:329)...