Issues
- 0
Confusion around do notation and GHC going too far
#551 opened by noughtmare - 2
NB -> Note
#528 opened by Topsii - 1
- 4
Selecting a nonexistent field using record dot yields error about missing HasField instance
#539 opened by MorrowM - 0
- 0
- 0
- 6
- 0
Terrible Arity error messages
#546 opened by noughtmare - 7
Type error message overhaul
#541 opened by noughtmare - 1
"In a stmt of an interactive GHCi command: print it"
#537 opened by monoidal - 0
- 0
[Meta] Add a description to this repository
#543 opened by MorrowM - 0
"Cannot apply expression of type `X` to a visible type argument `Y`" for inferred (braces) type arguments
#542 opened by sir4ur0n - 2
- 3
Inclusion criteria
#540 opened by hasufell - 2
Put blank line after the error
#538 opened by monoidal - 1
Type equality constraints without signatures
#536 opened by Tarmean - 2
Better error message for out of scope data constructor if a type with the same name exists
#533 opened by noughtmare - 2
- 1
Suggest language extension for unlifted data family
#535 opened by monoidal - 4
GHC will recommend a module that is hidden
#524 opened by silky - 2
Cabal and GHC environment file related errors
#527 opened by noughtmare - 3
"Data Constructor not in Scope" when defining an operator function starting with `:`
#529 opened by TotallyNotChase - 1
Unbound variable in a pattern synonym
#531 opened by monoidal - 1
Type classes, functional dependencies, and arity
#532 opened by noughtmare - 2
could not deduce [instance]
#530 opened by sfultong - 4
"X has fields" error doesn't tell me what the problem is (`-XOverloadedRecordDot`)
#53 opened by ocharles - 1
Add suggestions in "not a (visible) method"
#526 opened by monoidal - 0
- 7
The constraint ... is no smaller than the instance head... (Use UndecidableInstances ...)
#55 opened by silky - 0
- 4
Update url
#522 opened by alt-romes - 1
- 8
The index and the future of this repository
#519 opened by noughtmare - 2
Improve "unification involving polytypes" message
#521 opened by sheaf - 4
"Cannot apply expression [...] to a visible type argument" does not explain the problem
#54 opened by MatthijsBlom - 0
Parse errors should include context
#52 opened by konsumlamm - 7
A warning for the monomorphism restriction
#56 opened by noughtmare - 6
- 0
Don't suggest adding constraints to methods and/or functions from other packages
#58 opened by noughtmare - 9
- 8
- 7
Type variables versus unification variables
#45 opened by Ericson2314 - 2
- 8
Suggest -XMagicHash where appropriate
#47 opened by chessai - 2
Potentially confusing "Pattern match is redundant" with single alternative case/pattern binding
#48 opened by Ziharrk - 1
Not a data constructor clarity
#49 opened by Baricus - 1
Add to build-depends in your cabal file
#50 opened by noughtmare - 0