Chris Bailey

I'm also getting >800% CPU spikes on a 12 core machine and ~1.6Gb memory use in VSCode : Version: 1.38.1 Commit: b37e54c98e1a74ba89e03073e5a3761284e3ffb0 Date: 2019-09-16T10:22:16.623Z Electron: 4.2.11 Chrome: 69.0.3497.128 Node.js: 10.11.0...

The idea of minting a novel multi-character delimiter is kind of a bummer. I get that ```[`a, `b, .., `z]``` is the syntax for lists, but can you just parse...

> Not really. The point of this discussion is that we have a single grammar for both terms and types. So we can only ever parse a syntax a single...

Thanks for clearing that up. In that case, my preference would be the explicit contract combinator.

It does not. The only thing that seems to work is renaming the file.

Are there any plans to support the Allocator trait/allocator_api feature? `hashbrown::raw::RawTable` and `std::Vec` both expose the extra `A : Allocator` type parameter, so it seems possible.

Thanks for taking a minute to explain the issue. I have a use case for this, but I'm with you on not wanting to support unstable features, so I'm happy...

I think it's worth separating the issues of a `nonnegative_money` type and an enum that's explicit about whether a given integer is negative, like gain/loss. For users, the enum is...

@denismerigoux After trying my hand at this, I'm curious how you want to handle the pattern of exceptional subsections requiring additional or specialized information. If the scope declaration/function signature only...

I pushed a relevant commit on [this branch](https://github.com/ammkrn/catala/commits/chris_1001)(the first is just a typo fix). After reworking this a couple of times and thinking a lot about how this will intersect...