Justin Garcia

Remove base-compat as a dependency

4

## Summary If I understand correctly, `base-compat` was originally introduced as it was possible to compile PureScript over a range of GHC versions. More specifically, it gets rid of the...

Allow parentheses around operators when defining aliases

6

**Description of the change** This makes it possible to wrap operators in parentheses when defining aliases. --- **Checklist:** - [x] Added a file to CHANGELOG.d for this PR (see CHANGELOG.d/README.md)...

Visible type applications

58

Closes #3137. This PR adds support for visible type applications and abstractions. The latter pertains to syntax for declaring which universally quantified variables can be instantiated with the former. Here's...

Defer monomorphization for data constructors

1

**Description of the change** Related to #4235. This defers the monomorphization of data constructors introduced by #835. As such, constructors now infer to their "true" type, instead of having to...

Troublesome memory usage when reloading purs repl

3

## Description Restarting the `purs repl` on [medium to large projects](https://github.com/purescript/purescript-docs-search/) causes memory usage to blow up, making it unusable for consistent usage. When launching a fresh REPL, I usually...

Code generation target for emitting name and type information

12

## Proposal Currently, PureScript's IDE capabilities make use of externs files to provide completion and type information to clients of `purs ide server`. It's sufficient enough for most use-cases although...

## Summary This proposal aims to add a compact representation for `SourceType`s which would be consumed by the externs and consequentially, the IDE server. ## Proposal This proposal defines a...

Deprecate and eventually remove IsSymbol in favor of the Reflectable type class

8

## Proposal The type-level integers PR (#4207) introduced a poly-kinded type class for type reflection, aptly named `Reflectable`. Similarly, we plan to replace `Symbol` with `String` (#3103), similar to how...

Closes #4247. This PR adds support for emitting value and type information which can be consumed by IDE tooling, including the compiler's own `purs ide`. This is a very early...

Proposal: Move non-JS-specific optimizations to the CoreFn optimization pass

9

## Proposal Certain optimizations such as inlining `$`/`#` is currently performed in the `L.PS.CoreImp.Optimizer` module as part of JS code generation. The proposal is that these should be moved into...