Issues · Glasgow Haskell Compiler / GHC · GitLab

[Discussion] Integrating DataTypeable, Functor, Foldable, Traversable, Generic and Lift in the `stock` deriving strategy

#19707 · opened Apr 15, 2021 by Hécate Moonlight Plow Tfeature request deriving
- 2
- 7
updated Apr 16, 2021
`Messages` can't be easily printed for debugging purposes

#19694 · opened Apr 13, 2021 by Matthew Pickering Plow Ttask error messages newcomer
- 1
- 3
updated Apr 19, 2021
a larger suite of cas primitive types would be really nice

#19681 · opened Apr 09, 2021 by Edward Kmett Plow Tfeature request primops
- 2
updated Apr 16, 2021
runExists: a type-level version of runRW

#19675 · opened Apr 09, 2021 by Simon Peyton Jones Plow Tfeature request typechecker
- 3
updated Apr 09, 2021
Make hadrian refuse to test when flavour is quick (or devel2 or ...)

#19671 · opened Apr 08, 2021 by Oleg Grenrus Plow Tfeature request hadrian testsuite
- 2
updated Apr 09, 2021
Incompleteness of solving: D/N cannot rewrite D/R

#19665 · opened Apr 07, 2021 by Richard Eisenberg ⊥ Coercible Plow Tbug constraint solver
- 0
updated Apr 13, 2021
Inconsistent multiple declarations error in Template Haskell quotations

#19664 · opened Apr 07, 2021 by Jaro Reinders OverloadedRecordFields Plow Tbug TemplateHaskell records
- 1
- 8
updated Apr 10, 2021
Missing interface-file declaration when splicing lifted quote

#19662 · opened Apr 06, 2021 by Jaro Reinders 9.4.1 Plow Tbug TemplateHaskell
- 7
updated Apr 22, 2021
Potential regression when specializing the linear register allocator

#19656 · opened Apr 06, 2021 by Andreas Klebinger Plow compiler perf specialisation
- 0
updated Apr 08, 2021
GHC's failure to rewrite in coercions & kinds leads to spurious occurs-check failure

#19652 · opened Apr 05, 2021 by Richard Eisenberg Plow Tbug TypeInType constraint solver typechecker
- 0
updated Apr 08, 2021
Split up PState

#19612 · opened Mar 28, 2021 by Sebastian Graf Plow Tbug compiler perf parser
- 1
- 2
updated Apr 03, 2021
When compiling test binaries hadrian doesn't use compileAndLinkHs

#19606 · opened Mar 27, 2021 by Oleg Grenrus Plow info needed
- 2
updated Apr 08, 2021
Type applications in patterns should also work for universal type variables

#19577 · opened Mar 22, 2021 by Sebastian Graf Plow Tfeature request TypeApplications
- 10
updated Apr 08, 2021
Improvement for closed type families based on equation apartness

#19568 · opened Mar 20, 2021 by Alexis King Plow Tfeature request TypeFamilies injective type families
- 5
updated Apr 08, 2021
Cast worker/wrapper does not respect -fno-worker-wrapper

#19553 · opened Mar 17, 2021 by Christiaan Baaij Plow Tfeature request demand analysis ghc proposal
- 11
updated Apr 18, 2021
Non-existant scoping semantics for IMP-RULEs makes Simplifier build ill-scoped Core programs

#19529 · opened Mar 12, 2021 by Sebastian Graf Plow Tbug core lint rules simplifier
- 5
updated Apr 08, 2021
Rebindable Syntax and LinearTypes (allow a version of RebindableSyntax without ifThenElse)

#19477 · opened Mar 02, 2021 by Edward Kmett LinearTypes Plow RebindableSyntax Tfeature request
- 1
- 5
updated Apr 08, 2021
Duplicated test in GHC.Tc.Solver.Rewrite.rewrite_exact_fam_app

#19447 · opened Feb 26, 2021 by Simon Peyton Jones Plow constraint solver info needed
- 4
updated Apr 09, 2021
User guide sections are in a strange order

#19391 · opened Feb 17, 2021 by Matthew Pickering Plow Tbug documentation newcomer
- 1
- 1
updated Mar 06, 2021
Promotion quote syntax without -XDataKinds

#19304 · opened Feb 03, 2021 by Krzysztof Gogolewski DataKinds Plow Tbug program incorrectly accepted
- 1
updated Feb 08, 2021

Prev
1
2
3
4
5
…
25
Next