Yann Hamdaoui

Hmm, it's true than in general, we don't have an easy way of expressing "at least one of those codependent fields must be set". But this is probably a bit...

I wholeheartedly agree with @piegamesde. I believe the goal is really not to port the NixOS module system, but to figure out a module system - or to figure out...

I believe `export_with` is a bit more than sugar for function application, because it would be specified at the contract level and would be automatically applied to the end result...

For the syntax, another thing that came to mind: I like the anonymous struct/record feature of Rust and OCaml, that is, you can use a record type inside an alternative...

@Radvendii: I wonder if this solution would differ from having native ADTs and serializing them as untagged unions? Because it seems you need to indicate which part of the union...

> The difference is we guarantee that no information is lost in that translation. If I define the ADT (in haskell notation) > But this foo is indistinguishable from foo...

ADTs are reasonably implemented in master, with a proper syntax, pattern matching, destructuring, and typechecking. We can still discuss further improvements or challenge the current approach somewhere, but I would...

@nikomatsakis I think merge queues are now enabled. I'm personally satisfied with it; do you think we should keep this issue open or we can close? Using GitHub's integrated solution...

Superseded by introducing crane in #963 and the remaining tracking issue for the WASM part #967.

We haven't taken the time to update to latest comrak, but I think one of my teammate got things working by generating dummy positions (with zeros everywhere, probably). FWIW, in...