Yann Hamdaoui

Hi, thanks for the proposal. We don't have a well-defined policy about adding export format support right now, but I don't think it'd be an issue to add KDL -...

This issue is pretty old and not very well-scoped, IMHO. I don't think anyone (at least Niko isn't) is currently working actively on this, beside any improvement that came along...

If `return` is a keyword of your language, it's customary to lex it as a separate token rather than consider it as an identifier, in particular because it may be...

Yet another possibility is to make `return` a special token of your lexer, so that you can write your rule like: ```lalrpop "return" => ir::Expression::Return() ``` and to have an...

> what am i missing? The parenthesis doesn't add indentation anymore, but a `fun` still does. When you write a multi-line function outside of any context, the body is indented...

Hi! now that #68 has been merged, would that be possible to try again and see if that works with latest master?

The first example now fails with a proper error message. However, the two others fail with a rather cryptic message that is due to how pattern matching is desugared, which...

> This is bound to be somewhat heuristic and fragile I agree. Also, there are some cases when the semantics of propagating metadata is really not what you want. This...

Thanks for the report. Beside understanding why the behavior isn't linear, this example should also be the poster child for the contract deduplication optimization, so there's a problem here as...

So, trying more than two contracts then seems to grow linearly. Unfortunately I think this is expected, because just one contract with a default value won't trigger anything else but...