ScribblyBirb

Pattern-matching on zero record fields causes `elm-analyse` to fail with a parse error despite being valid Elm. Both of the following fail with `Could not load file due to: Unexpected...

Error called at Type/Solve.hs:206:15 -- thread blocked indefinitely in an MVar operation -- caused by two or more examples of recursion with wrong number of args

1

**Quick Summary:** While trying to compile **invalid** code (but the sort one might reasonably generate on accident, since I did while eliminating a parameter from a function), compiler crashes with...

Error called at Type/Solve.hs:206:15 -- thread blocked indefinitely in an MVar operation -- caused by type signature with type variable with wrapped phantom types

1

**Quick Summary:** While trying to compile valid code with a wrapped phantom type and incomplete type signatures, compiler crashes with the following error (boilerplate parts excluded): ``` Compiling ...elm: You...

Constrained type variables (e.g. `appendable`) are respected in type aliases by the language server. For example, the language server flags: ```elm type alias A appendable = appendable a : A...

Incorrect type inference for records applied to lists of functions

1

SSCCE: ```elm func r = List.map ((|>) r) [ \{ foo } -> foo, \{ bar } -> bar ] ``` ## Expected Behavior ```elm func : { a |...

If `Canvas.arc` is passed a negative value for its radius, it crashes with ``` Uncaught DOMException: CanvasRenderingContext2D.arc: Negative radius ``` This should probably at least be documented clearly in a...

Clarification on `Location`'s status as a reserved identifier in ABNF

1

Currently the `Location` rule in the ABNF is listed under "Reserved identifiers": https://github.com/dhall-lang/dhall-lang/blob/bb0e62bbaf76496ddbeecc18dc4792c2922fb858/standard/dhall.abnf#L441-L445 But `Location` is allowed as a label by both the ABNF grammar and the Haskell implementation (it...

Add JSON.field to prelude

2

JSON.field is a helper function for making `JSON.object` entries, a simple convenience that helps with constructing basically any JSON in Dhall. This function is in every JSON interface I've made...

RFC: "Unqualified" imports/lets

46

**Rationale** As we all know, most all Dhall frameworks (for example, the Prelude) consist of records (`package.dhall` in the prelude) of functions, values, types, etc., with the equivalent of "importing"...

Poor parse error message with parenthesis-enclosed function application

15

If a parse error occurs within parentheses in function application, instead of an error at the point of the parse error, you instead get `unexpected '('` at the open parenthesis....