* Regenerate LICENSE

* Update version to 0.14.0

* Erase elaborated kinds from all errors by default

* Don't explain Coercible as a class with compiler-generated instances

* Update CHANGELOG.md

When failing to parse the Command Json we're now returning more
descriptive error messages

* Inclusive language

* Add declarationType in completions

* Improve documentation

* Upd...

* Add DependencyDepth argument to sortModules. Only compute Direct dependencies for graph comman...

* Add changelog generated from GH releases

* Add PR template

* Remove release candidates f...

* Suggest to import newtype constructors when the unwrapping rules fail

* Don’t require newty...

* Don't implement Newtype methods when deriving

* Debug cruft

* Hash

* Return type

* Common code for Ord DeclarationRef

* Use orderOf for compareType

* Shrink Binder Eq and Ord

The relatively unusual combination of a multi-part qualifier and an
operator used as a symbol--...

* Update license-related error messages

* Examples

* Conform style, contributors.md

* Interaction solver for `Coercible` constraints

* Don’t fail to lookup re-exported newtype c...

* Expand type synonyms in instances dictionaries

* Expand type synonyms in derived newtype in...

* Expand type synonyms in superclasses

* fixup! Expand type synonyms in superclasses

This corrects a number of regressions introduced in 0.13, and imposes
the uniform restriction t...

This is a breaking change. The syntax

foo -1 = ...

as part of an equational definition...

* Improve error message when `negate` isn't imported

* Add tests for bind and discard too

Since 6d1b5ec3af12812810701b766a12f7c9aceabe75, `Language.PureScript.Sugar.desugar` is always ap...

* Warn against exported types with hidden constructors but `Generic` or `Newtype` instances

*...

* Require newtype constructors to be imported for coercing them

* Document why we track coerc...

* Allow instances for synonyms where the argument is fully determined

* Fix again after merge...

* Check all recursive paths in data binding groups

This changes the data binding group check ...

Fixes #3107

The rc1 I already tagged is no good, because I forgot to update the
version. That is particular...

* Check orphan role declarations

* Check role declarations arity

* Check unsupported role ...

* Disallow cycles in foreign data kinds

* Fix deps signature guard in toposort

* Refactor ...

There have clearly been several changes since this comment was written, and this comment is now ...

This PR implements the type application rule mentioned by the Safe Zero-cost Coercions for Haske...

* Forbid partial data constructors exports

* Lookup data constructors in the environment

*...

* Link to governance doc where appropriate
* Remove reference to core-tests (which no longer ex...

* Copy default-extensions.yaml to subprojects

* Add note to inform editors about other copies

* Add troubleshooting steps for libtinfo and EACCES errors

See https://github.com/purescript/...

* Check roles of mutually recursive types

* Don’t build a map each roles lookup

This prevents issues like https://github.com/purescript-web/purescript-web-html/issues/31
where...

* Faster warnDuplicateRefs

* Fixup - KindRef removed from DeclarationRef

* Add to CONTRIBU...

* Check role declarations against inferred roles

Fixes #3867. The main change here is that we...

* Add re-exports to Language.PureScript.CoreFn.Module

We need to make the `ExportSource` from...

* Recurse on the right of arrows when inferring nominal roles from kinds

* Recurse under fora...

* Starts work on extracting all tokens from a CST module

* flattens everything

* adds prin...

* Fix CoreFn version parsing and add test

* Move parseVersion' to CoreFn.FromJSON module

* Setup `hlint`

There have been a smattering of efforts to run `hlint` on the project:
* 1b7...

* Print progress messages to standard error

* Print glob miss warnings to stderr regardless o...

* [purs ide] Extracts documentation comments for type classes

I had assumed we were already d...

* Create issue templates

We want a better experience for people using the issue tracker.

T...

* Represents ModuleNames as a single Text

The hierarchy `[ProperName]` suggests doesn't actua...

* Pretty print errors as warnings in warnings golden tests

* Refer to unexpected errors and w...

This commit changes the encoding for externs from JSON to CBOR. We're using the serialise librar...

We were not applying the substitution for generalized kinds to their own
kinds, which can resul...

* Use the same default extensions everywhere

* Fix test output

* Compile exe with default ...

* Run golden tests in CI

This commit adds the golden test expected output files to the source...

* Remove PackageImports

* Fix bad import

`microlens-platform` brings in quite a bit of extra dependencies. To
thin out what `purescript-...

System.FilePath.Glob explicitly states that the results of a glob are
not in any defined order....

* WIP Kinds are Types

* Remove more kind stuff, add polymorphic signatures to env

* WIP ki...

* Move `SimpleErrorMessage` to `Errors`

In 4828b5d3fa078361e03dd0f3dbbfa46dd4ee6b20, we moved...

* [purs ide] Tracks the cache-db.json timestamp

This allows us to trigger a full reload when ...

* Fix typos

* Add @mhmdanas to contributors

* generalizes and extracts CacheDb accessors from Make

This is so they can be used from withi...

* Golden tests for failing and warning cases

* generated golden files for failing tests

* ...

* Implement `Coercible` for safe zero-cost coercions

* Define a new built-in module, `Prim.Co...

* First draft

* Add tests for the graph command

* Apply review suggestions

* Remove red...

The version bounds are too permisive. Cabal needs to be constraint with
<3.0 and haskeline wit...

Renamed from RELEASE_CHECKLIST.md because it's more of a guide than a
checklist now.

* optimize away binds to wildcards in Do notation

fixes https://github.com/purescript/purescr...

* WIP

* WIP

* lint

* dont add current module to env until it is a dependency of another...

Specifically when a multi-way case contains a pattern guard or multiple
guard expressions, the ...

Fixes #3754

Previously the check when generalizing types only took into account each class individually and ...

This way we're avoiding a space leak. (There might be more but this is
good enough for the comm...

Fixes #3740

As of this PR, pretty-printed Strings will try use the literal code
points when ...