expressi

expressi copied to clipboard

Emit an executable binary

1

Use [inkwell::targets::TargetMachine::write_to_file](https://thedan64.github.io/inkwell/inkwell/targets/struct.TargetMachine.html#method.write_to_file) with `-o` option

coord-e

Type annotation syntax

2

``` let f = (a, b) -> a(b); f Number) -> Number>; f(x -> x, 1) ``` ?

coord-e

Infer a type of captured free variable in function body

2

1. Implement `Value::free_variables` 2. Remove `check_captures` and replace its uses with that above 3. Use `Value::free_variables` in `TypeInfer::transform_with_env` and rollback `new_env` changes to `env`

coord-e

Nightly build is unstable

1

https://travis-ci.com/coord-e/expressi/builds/103870387 make current source to be compiled with stable rust, and make nightly build accept failures

coord-e