Issues · Glasgow Haskell Compiler / GHC · GitLab

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
RebindableSyntax and Arrow

#7828 · created Apr 10, 2013 by AlessandroVermeulen 8.0.1 5 Arrows Pnormal Tbug Trac import typechecker
- 60
updated Sep 22, 2020
Location in -fdefer-type-errors

#7668 · created Feb 06, 2013 by Krzysztof Gogolewski 8.0.1 5 Pnormal Tbug Trac import deferred type errors typechecker
- 6
updated Sep 25, 2020
Bug with PolyKinds, type synonyms & GADTs

#7503 · created Dec 16, 2012 by Ashley Yakeley 8.0.1 5 Pnormal Tbug Trac import TypeInType typechecker
- 8
updated Jul 07, 2019
Allow compatible type synonyms to be the return type of a GADT data constructor.

#7494 · created Dec 10, 2012 by topi 8.0.1 5 GADTs Pnormal Tfeature request Trac import typechecker
- 6
updated Jul 07, 2019
ghc-7 assumes incoherent instances without requiring language `IncoherentInstances`

#7296 · created Oct 04, 2012 by Christian Maeder 8.0.1 5 Pnormal Tbug Trac import typechecker
- 10
updated Jul 07, 2019
Allow type signature in export list

#7140 · created Aug 13, 2012 by Dan Burton 8.0.1 5 Pnormal Tfeature request Trac import typechecker
- 4
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
Holes with other constraints

#5910 · created Mar 02, 2012 by xnyhps 8.0.1 5 Pnormal Tfeature request Trac import error messages typechecker typed holes
- 29
updated Jul 07, 2019
"guarded instances": instance selection can add extra parameters to the class

#5590 · created Oct 28, 2011 by nfrisby 8.0.1 5 Pnormal Tfeature request Trac import typechecker
- 7
updated Jul 07, 2019
Missing type checks for arrow command combinators

#5267 · created Jun 22, 2011 by peteg 8.0.1 3 Arrows Plow Tbug Trac import broken test typechecker
- 22
updated Jul 07, 2019
Typechecker behaviour change

#5051 · created Mar 26, 2011 by Ian Lynagh <igloo@earth.li> ⊥ 5 Pnormal Tbug Trac import typechecker
- 7
updated Jul 07, 2019
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
Relax restrictions on type family instance overlap

#4259 · created Aug 16, 2010 by lilac 8.0.1 5 Pnormal Tfeature request Trac import injective type families typechecker
- 32
updated Jul 07, 2019
require -XGADTs in order to pattern-match GADTs

#2905 · created Jan 01, 2009 by guest 6.12 branch 5 Pnormal Tbug Trac import typechecker
- 8
updated Aug 26, 2020
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
Add a total order on type constructors

#1894 · created Nov 14, 2007 by guest 8.0.1 0 Plow Tfeature request Trac import typechecker
- 16
updated Jul 07, 2019
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