Bend

Bend copied to clipboard

Sometimes it's very common to nest function calls and this can be very confusing: ``` x = foo(bar(baz(...))) x = baz(...) x @= bar x @= foo ``` Some functional...

imaqtkatt

Type binds are incorrectly added to the functions ASTs as 'use' terms on import

3

### Reproducing the behavior The error was initially reported by @NoamDev here https://github.com/HigherOrderCO/Bend/pull/725#issuecomment-2397741817 Considering this program ``` # a.bend from b import * type MyType: A {data: u24} B {data:...

developedby

### Reproducing the behavior From @NoamDev at https://github.com/HigherOrderCO/Bend/issues/722#issuecomment-2396005741 ** a.bend ** type MyType: A {data: u24} B {data: u24} Foo: MyType -> MyType (Foo (MyType/A a)) = (MyType/A a) (Foo...

developedby

### Reproducing the behavior In the float combinators pass, we move combinators to the top-level when they are considered "unsafe" (as in, they could cause an infinite loop) or when...

developedby

### Reproducing the behavior Term::children and this family of function is not returning the next term in the case of a Term::Def. This is how it's currently defined ``` pub...

developedby

References with names bound by a match term are not shadowed

1

### Reproducing the behavior Consider this program ``` x.head = 0 x.tail = 1 main = match x=[1] { List/Cons: @x (x x.head x.tail) List/Nil: 0 } ``` Here, `x.head`...

developedby

Calling Bend from C

1

**Is your feature request related to a problem? Please describe.** I'd like to be able to call bend programs from the c-runtime so that I can use bend as a...

o1lo01ol1o

HOAS evaluator of Interaction Calculus returns wrong result when computing 2^2

1

### Reproducing the behavior Consider the following Bend program: ```python type Term = (Lam bod) | (App fun arg) | (Sup lab fst snd) | (Dup lab val bod) |...

VictorTaelin

ERROR: attempt to clone a non-affine global reference

1

### Reproducing the behavior I'm getting the error `ERROR: attempt to clone a non-affine global reference.` when I call a function to create a Map or List and then pass...

angeloocana

We should include in the set of github actions some benchmarks, for all target runtimes, to make sure we don't introduce accidental performance regressions. For example, #634 describes a large...

developedby