Fixes #2177.

* remove excessive wrapping from DeclarationType

* [purs ide] Represent Filters as data rathe...

Fixes `make test` on NixOS.

This commit prevents CodeGen from emitting any JS imports for modules
whose use sites have all ...

This commit truncates types in error messages below a depth of 3 levels
in the type AST. If the...

This means we can now complete module names with the completion API as
well as being able to qu...

Thanks to @dariooddenino for tracking down what the problem was.

Co-authored-by: Dario Oddeni...

Follows on from #3521 by removing the use of the Env's imports and
instead obtaining the same i...

Implements what was discussed in #2191 by adding the module from which
something was imported t...

* ignore the rts "library" for licenses

* make license generator into a proper stack script
...

Fixes #3414

* Bump version to 0.12.2

* Update license file

* Add a template release checklist, refs #3185

The intention is that this file can serve as a...

* Add named type wildcards

* Remove debug

* Use HoleInferredType for named type wildcards

Moves the recursive call out of each previous item's source span.

Fixes #3452

The concept of the current module is unnecessary (we aren't using it
anywhere either in the com...

* Add lenses for annotations

* Add better source positions to kind errors

* Throw possibly...

* Implement QualifiedDo

* Improve QualifiedDo tests

* Implement QualifiedAdo

* Trigger ...

Refs #3177. The command

> :print MyModule.print

will replace the repl's printing funct...

* Switch psc-publish tests to use hspec

* Add tests for json compatibility

refs #2655, #3494

* Kinds with spans

* Types with spans

* Add type aliases for source annotated Type/Kind/Co...

Fixes #3482. We have allowed reserved names (like `data` or `type`) to
be used as record labels...

* Refactor properToJs

Since it is only used for ProperName values at all but one call site,
...

E.g. you can paste an import and a declaration together:

```
> :paste
… import Prelude
… f...

Fixes labels not being quoted in error messages in some cases where they
should have been. For ...

* test case for TCO with Partial constraint

* optimize inferred partial constraint fn

fixe...

Fixes #3431

* Link to documentation repo as docs for non-Prim built-in types/kinds

* Resolve issues raise...

The kinds * and ! were switched to parse errors in 0.11.
Now we're at 0.12 we can remove them.

* Improvments to REPL tab-completion

- Complete all names that have been imported (transitive...

* Add a stricter source span check for warnings

* Use implicit import source span for shadowi...

The missing `zlib` dependency made stack build fail on NixOS

* Fixes #3388

Rearranges desugaring phases to avoid leaking `ObjectNestedUpdate`.

* Fix tr...

* Added ffiCodegen to MakeActions

* Silence ffiCodegen in IDE

* adds a failing test for the CannotFindDericingType error

* adds a source span to the Cannot...

* Print type of missing typeclass member

* Print all missing type class members

`lens` is pretty big of a dependency with many transitive dependencies.
Build times with `lens`...

* Set --haddock flag based on BUILD_TYPE per joneshf

* set lower timeout

* changes necessary to build on GHC 8.4.2

* remove redundant Monoid imports

* bumps to a 8...

* [purs ide] Make sure we use absolute paths for source locations

This just makes it less err...

* [purs ide] Allows adding imports from Prim.* modules

* naming things

* build ci again

delete psc-bundle/README.md, since all of the information it contains is also available via `pur...

* [purs ide] Removes Pursuit support

* Update to LTS 11

* [purs ide] removes pursuit comma...

* Add arities to `IncorrectConstructorArity`

We can carry along the arity we expect and what ...

* Explain --editor-mode intent

* source files -> externs files

Fixes #3347

This commit mainly consists of re-export handling so `purs docs` doesn't
choke o...

* Added SourceSpan to CoreFn.Module

* Remove SourceSpan argument from

It's now a duplicate...

* Prevent codegen when `--dump-corefn` is supplied

* Prevent FFI checks when --dump-corefn is...

* Allow operators shadowed by variables of the same name as the alias

This is a reimplementat...

* Efficient object updates for closed records
* Add constant for Record name

* Add failing test

* Add source spans for errors in binding groups

it does nothing for the moment

* Check warnings/errors for positions

* Tag let bindings with metadata about their origin

When we parsed where clauses, we desugare...

* Add positions for `ScopeConflict` caused by exports

* Use specific `ModuleRef`s for error p...