Harry Garrood

The types will be encountered anyway - if they're not present in the examples, then the warning suggests adding them and writes them out for you: ``` No type declaration...

cc @milesfrain, this is probably what you were seeing in the book

The nice thing about the `run`-like utilities is that you get the O(1) conversion to the immutable type without having to use `unsafeFreeze` or similar yourself. I could understand if...

I don't think I agree that the Euler example is that complex; I wouldn't say it's really any more complex than the `diagonal` one, personally. I also like that the...

From looking at the issues tagged "error messages" on the `dhall-haskell` repo I can't see one which covers the issue you've raised: https://github.com/dhall-lang/dhall-haskell/issues?page=2&q=is%3Aissue+label%3A%22error+messages%22. It may be worth reporting this there.

Is there a good way of asking `spago` to report the original error from Dhall rather than constructing its own error message? I'm coming across a sort-of-related problem where if...

I'm not sure it makes sense to call all of these things "partial application"; there isn't really any partial application going in in `(case _ of x -> y)` or...

Yep; looking through `Language.PureScript.Sugar.ObjectWildcards` I think we've covered everything now. Not really relevant to this discussion but it seems like that module name no longer reflects what the code in...

@natefaubion just found this, re our discussion in Discord the other day.

This is something we previously decided is best not done inside purs bundle (since purs bundle only has access to the generated js). See https://github.com/purescript/purescript/issues/2086