Fridtjof Siebert
Fridtjof Siebert
This code creates two type features that themselves declare types. ``` test_type is type.point(x, y i32) is type.opt : choice i32 bool is ``` This currently compiles without problem, but...
Check what mechanisms other languages provide for memoization, e.g. Haskell's [Chimera](https://hackage.haskell.org/package/chimera) to find what might fit for Fuzion to improve momoization as added for #1522. Criteria that are important here...
It might be confusing to have `try` and `eff.fallible.try`. Also `try.raise` and `eff.fallible.cause` are potentially confusing. Currently, code looks like this: ``` (try reader) .try ... if !read_ok then (try...
[This commit](https://github.com/tokiwa-software/fuzion/commit/e7e3910e0532b8e8debef46fc174709fb5bb21c6) added workarounds to `option.fz` and `outcome.fz` for a crash in the middle end (error clazz found) when running `tests/choice_inheritance`: ``` - auto_unwrap T (try option.this) + auto_unwrap T...
The following code declares a type `x` and a type feature `x.type.y` with two arguments, but calls `y` with three arguments ``` x.y 1 2 3 x(a,b,c i32) is type.y(i,j...
This example passes the instance of a function `b` as a boxed value to a routine expecting an argument of type `Any` ``` u(x Any) => _ := $x b...
This example infers the type of `p.x' from the actual argument ``` p(x) is s (p 3) s(v p) => say v.x ``` But this crashes during DFA on the...
This currently fails in #3157: This example ``` a is b is type.hi => x : a.b is x.type.hi ``` crashes if preconditions are enabled: ``` > PRECONDITIONS=true POSTCONDITIONS=true ./build/bin/fz...
PR #3157 is a step in this direction for pre- and postconditions, but we should aim to have a general solution. I found a [nice blog post](https://keleshev.com/composable-error-handling-in-ocaml) explaining the general...
This example declares two features `x` and `y` that both inherit from `(a u8).b` ``` a(A type) is b is x : a(u8).b is y : (a u8).b is ```...