Issues · Glasgow Haskell Compiler / GHC · GitLab

IncoherentInstances are too restricted

#9432 · created Aug 11, 2014 by danilo2 7 Phigh Tfeature request Trac import typechecker
- 8
updated Jul 07, 2019
More informative error messages when closed type families fail to simplify

#9376 · created Jul 29, 2014 by MikeIzbicki 5 Pnormal Tbug Tfeature request Trac import typechecker
- 7
updated Jul 07, 2019
Implement "instance chains"

#9334 · created Jul 19, 2014 by Iavor S. Diatchki 5 Pnormal Tfeature request Trac import typechecker
- 19
updated Jul 07, 2019
"overlapping instances" through FunctionalDependencies

#9210 · created Jun 16, 2014 by rwbarton 5 FunctionalDependencies Pnormal Tbug Trac import typechecker
- 11
updated Jun 30, 2020
print and/or apply constraints when showing info for typed holes

#9091 · created May 08, 2014 by Andres Löh 5 Pnormal Tfeature request Trac import typechecker
- 10
updated Jul 07, 2019
Remove unnecessary constraints from MonadComprehensions and ParallelListComp

#8914 · created Mar 19, 2014 by Icelandjack 5 Pnormal Tfeature request Trac import typechecker
- 5
updated Jul 07, 2019
ImpredicativeTypes type checking fails depending on syntax of arguments

#8808 · created Feb 20, 2014 by guest 5 ImpredicativeTypes Pnormal Tbug Trac import typechecker
- 2
updated Sep 24, 2020
Add (->) representation and the Invariant class to GHC.Generics

#8516 · created Nov 09, 2013 by nfrisby 3 Plow Tfeature request Trac import typechecker
- 14
updated Jul 07, 2019
A combination of type-level comparison and subtraction does not work for 0

#8447 · created Oct 15, 2013 by nushio 3 Plow Tbug Trac import typechecker
- 4
updated Jul 07, 2019
forall on non-* types

#8388 · created Sep 30, 2013 by Krzysztof Gogolewski 5 Pnormal Tbug Trac import typechecker
- 3
updated Sep 15, 2021
TypeFamilies painfully slow

#8095 · created Jul 27, 2013 by MikeIzbicki 7 Coercions Phigh Tbug Trac import compiler perf typechecker
- 2
- 3
- 102
updated Mar 30, 2022
Compilation errors break the complexity encapsulation on DSLs, impairs success in industry

#7870 · created Apr 27, 2013 by agocorona 5 Pnormal Tfeature request Trac import typechecker
- 8
updated Jul 07, 2019
Incorrect checking of let-bindings in recursive do

#7842 · created Apr 17, 2013 by Iavor S. Diatchki 5 Pnormal RecursiveDo Tbug Trac import typechecker
- 3
updated Jul 07, 2019
Suggested type signature causes a type error (even though it appears correct)

#6065 · created Apr 30, 2012 by tvynr 5 Pnormal Tbug Trac import typechecker
- 8
updated Jul 07, 2019
Allow defining kinds alone, without a datatype

#6024 · created Apr 19, 2012 by dreixel 5 Pnormal Tfeature request Trac import ghc proposal typechecker
- 1
- 16
updated Mar 08, 2022
Missing improvement for fun. deps.

#4894 · created Jan 17, 2011 by Iavor S. Diatchki 5 Pnormal Tbug Tfeature request Trac import typechecker
- 11
updated Jul 07, 2019
Confusing type error message

#1928 · created Nov 25, 2007 by josef 3 Plow Tbug Trac import diagnostic quality error messages typechecker
- 5
updated Mar 07, 2022
Type checker does not use functional dependency to avoid ambiguity

#1614 · created Aug 14, 2007 by guest 5 Pnormal Tbug Trac import typechecker
- 11
updated Jul 07, 2019
Provide way to show the origin of a constraint

#1451 · created Jun 22, 2007 by iampure@gmail.com 5 Pnormal Tfeature request Trac import typechecker
- 5
updated Jul 07, 2019
Problem with GADTs and explicit type signatures

#1158 · created Feb 20, 2007 by guest 0 GADTs Plow Tbug Trac import typechecker
- 5
updated Jul 07, 2019

Prev
1
…
12
13
14
15
16
17
Next