Justin Garcia

I can't say I can work on this for now; I suppose further discussion might be needed in terms of the implications towards complexity or feature parity with the other...

I think this should be the last PR we merge before we release to reduce merge conflicts.

> For whatever reason Haskell Language Server isn’t working for me on this project @ptrfrncsmrph Are you using a tagged release from `ghcup` by any chance? I had to build...

Would it be possible to have extra information for the `Constraint` type? Ideally, it'd be nice to have the `SourcePos` for where the class name starts. We can then just...

An adjacent change to this is #4376. Constructors were made to infer into monotypes to align with the typing rule here. In my changeset, I just hoisted up this predicate...

If we follow through with this change, we should also free the special case done for constructors in #835. Constructors inferring to monotypes instead of polytypes is currently a blocker...

> A general-purpose inliner would probably need a more detailed proposal for how it would fit into the compiler architecture, too. From what I can tell, there's no real scaffolding...

> A possible compromise is to allow variable shadowing in `let` expressions and `do` blocks, but not in e.g. nested functions. Thus: I feel like allowing shadowing in `let` like...

I would say that one thing to consider is to determine whether or not these changes would end up becoming the "recommended" formatting to use for writing PureScript. A few...

Thank you for the insights. When I originally wrote this proposal, I intended "JS-specific" to mean anything that the "canonical" JavaScript code generator for PureScript uses, whether that'd be because...