Yann Hamdaoui

A bit more investigation. It turns out the contract deduplication doesn't fire, but it's to be expected actually, looking at this again. The idea behind contract dedup is to avoid...

(EDIT: I've added the missing timings in the table)

I tried with the fast contract equality, and it indeed makes this example much faster (0.09s for `four_contracts` vs 0.76s). However, it comes at a cost as well: it makes...

> Maybe custom merge functions could solve this in the long run? Since I know here that I want to equal these lists eagerly I could write a merge function...

@thufschmitt I'm not sure how to handle the conflict here

Hello, Thanks for reporting. Good error messages are indeed important for us. Just to make sure I understand, I imagine you would like to have an additional message like the...

> Pre-built vsix (VSCode extension) would also help. The extension should be available on the store/market (I don't remember how it's called for VSCode). Is it not (it hasn't been...

> GitHub workflows have macOS runners available. IIRC, building on my Mac took around 10 minutes and GitHub workflows seem to have a maximum execution time of 6 hours so...

> we can just distribute that binary? I would say yes, because 1. it seems this is the best we can do on Darwin 2. it seems to work given...

We now provide binaries for ARM64 (both Linux and MacOS) and AMD64 (Linux and Windows), for both Nickel and NLS.