Markus Westerlind
Markus Westerlind
If an implicit argument could not be resolved the typechecker displays a list of all bindings that were considered. This works well for bindings that can be refereed to directly...
Currently `Async::NotReady` is returned when the vm yields control to the caller (for instance when encountering a breakpoint or the `yield` function is called inside the vm). If the `Async::NotReady`...
In https://github.com/gluon-lang/gluon#features there is currently an example for the thread safe part. It would be neat if there was a link to an example for each of the other points...
The language server has grown a lot of additional features since I recorded it which should be displayed in it!
``` error[E0531]: cannot find tuple struct/variant `Som` in this scope --> check\src\typecheck.rs:2388:25 | 2388 | Som(typ) => (None, typ.clone()), | ^^^ did you mean `Some`? ``` instead of ``` gluon...
This is going to be a bit tricky since we need to decide which bindings should get types. It certainly can't be all bindings since that would mean annotating bindings...
AKA lexer modes. Quick-ish experiment to investigate if it is feasible to use lalrpop for https://github.com/influxdata/flux . Seems to work for the purpose of allowing division (`/`) and regex `/a.+/`...
The rust code in the `.lalrpop` files are still on rust 2015 and need to be manually updated since `cargo fix` won't work on those files. We should also update...
At a whim, I looked at how much memory the generated parser were taking up in the binary and it turns out it is pretty sizeable. (Still a lot better...
This does two things to reduce the amount of code `path!` generates, first it removes `warp::any()` filter at the start of each path, therefore removing one level of `And` as...