Prophet

Interrupt handling seems broken

1

Hi, this might just be my misunderstanding of the way this library deals with interrupts, but the current behaviour seems a bit broken. When one presses `Ctrl+C`, I would expect...

Compiler panic when unifying inner skolem with an outer unification variable

4

**Quick Summary:** The compiler crashes in compiler/src/Type/Solve.hs:206:15 when checking the body of `g`, which unifies a skolem bound in the type of `g` (`a`) with a unification variable from the...

"execve: Argument list too long" should not be a `Failure`

1

Currently, when passing arguments to a program with the new `Eio.Process` API, `E2Big` errors are propagated as `Failure "execve: Argument list too long"`. Programs using this API should be able...

Raise an exception instead of Failure "execve: Argument list too long"

1

Fix #556

In GHC 9.0 and below, the following code would produce an error message that mentions the phrase `type variable 's' would escape its scope`. ```hs runST (newSTRef 5) ``` ```...

Better error messages for Num literals

19

I hope, this is the correct way to post this, since this repo seems to be pretty new. In my experience, one of the most annoying error messages in GHC...

Constant folding a pattern match on an unboxed variant produces an incorrect result

2

Given an unboxed variant like this, `Primary` has the same runtime representation as `Color("primary")` ```rescript @unboxed type color = | @as("primary") Primary | @as("secondary") Secondary | Color(string) ``` This means...

Wildcard constructor patterns display an incorrect type on hover

5

Given a data constructor with multiple parameters and a constructor pattern with a wildcard like this, hovering over the `_` in VSCode shows type `string` even though it should be...

Support explicit generalisation of assigned values with annotations

3

When writing a local type signature, I would expect type variables mentioned in that signature to be quantified by that local type. For example, I would expect [the following](https://johndoneth.github.io/gleam-playground/) ```gleam...