Justin Garcia
Justin Garcia
## Summary This proposal aims to add support for opt-in qualification for data types. It introduces new syntax for placing constructors under explicit namespaces. ## Motivation Data type qualification allows...
This is an awesome library for porting over functional-oriented algorithms :smile: I think non-empty containers would be a good addition, as they allow certain algorithms to encode invariants at the...
starts work on the imperative interface
The current iteration of the analyzer's parser is a hand-written, recursive descent parser that "recovers" on errors instead of failing at the very first one that it encounters, which is...
Closes #9. Also adds snapshot tests for lowering code.
This issue tracks the implementation of scaffolding code for the language server and the analyzer's core. An end-to-end demo was introduced by #8, but its scope is extremely limited to...
At the moment, the CST defines the following "general" syntax nodes. They effectively mimic the types found in the `language-cst-parser` written in PureScript and emulate types such as `Array`, `NonEmptyArray`,...
Closes #37 and #38. This picks up on the awesome work done by @srghma on #38 with the goal of producing a smaller diff. # TODO - [ ] Automated...
There seems to be a bug in the traversal for AppSpine, which was introduced by #51. Here's a small reproduction: ```purescript module Main where import Prelude import Effect (Effect) import...