bosatsu

bosatsu copied to clipboard

using an unimported type gives a bad error message

1

For instance if you import and call a function that returns a type say Prop, but you haven't imported the Prop, you get an unknown type error: ``` unknown type:...

johnynek

use parallelism and streaming in bosatsu test

1

currently we test with 1 core it seems and wait until all results are ready to print anything. Both harm usability when the number of tests gets large.

johnynek

syntax to require recursions to be tail recursive.

1

In scala, there is an annotation `@tailrec` that makes compilation fail if the function is not tail recursive. Tail recursion ensures that the function can be compiled into a loop,...

johnynek

when working on #1171 I found a pattern which was useful: ``` external def todo(ignore: x) -> forall a. a ``` this function can consume arguments to make them look...

johnynek

changing how we compile/render values

2

Currently, there are some ad-hoc concepts in the compiler: 1. testing: when we run `test` we find the last value of type Bosatsu/Predef::Test and compile that. 2. compiling: we just...

johnynek

ToyIO demonstration of a basic IO implementation for runtimes

1

The idea here is to encode general recursion into a data structure, then have the recursive loop be implemented in the runtime or host language.

johnynek

truffle 2

1

reopening #974

johnynek

design for bosatsu libraries

3

* Libraries are the units of code sharing. * Packages are sets of 0 or more values and 0 or more type definitions. * Libraries are sets of 0 or...

johnynek

reopening #645

johnynek

The unshadow algorithm in Code.Lambda added in this commit: https://github.com/johnynek/bosatsu/pull/1124/commits/dc5389bea86bbd3910e07ed1c230c66c52355934 could be used in TypedExpr and Declaration. Both of which give up and return None if they hit a condition...

johnynek