Issues · Glasgow Haskell Compiler / GHC · GitLab

Can't call rank-2 function with type family constraint

#12185 · opened Jun 10, 2016 by Eric Crockett 5 Pnormal Trac import bug typechecker
- CLOSED
- 2
updated Jul 07, 2019
Sparks for CAFs get GC'd too eagerly

#12182 · opened Jun 10, 2016 by Simon Marlow 8.0.2 5 Pnormal RTS Trac import bug
- CLOSED
- 2
updated Jul 07, 2019
Allow inline pragmas on pattern synonyms

#12178 · opened Jun 10, 2016 by Matthew Pickering 9.2.1 7 Phigh PatternSynonyms Trac import feature request newcomer
- CLOSED
- 18
updated Feb 01, 2021
Relevant bindings includes shadowed bindings

#12177 · opened Jun 10, 2016 by Edward Z. Yang 8.0.2 5 Pnormal Trac import bug newcomer typechecker
- CLOSED
- 8
updated Jul 07, 2019
Failure of bidirectional type inference at the kind level

#12176 · opened Jun 10, 2016 by Richard Eisenberg 8.4.1 5 Pnormal Trac import TypeInType bug
- CLOSED
- 4
updated Jul 07, 2019
Instance resolution regression

#12175 · opened Jun 09, 2016 by Eric Crockett 8.0.2 5 Pnormal Trac import bug
- CLOSED
- 2
updated Jul 07, 2019
Recursive use of type-in-type results in infinite loop

#12174 · opened Jun 09, 2016 by Edward Z. Yang 8.2.1 10 Phighest Trac import TypeInType bug typechecker
- CLOSED
- 7
updated Sep 19, 2020
User's Guide patches

#12172 · opened Jun 09, 2016 by thomie 8.0.2 5 Pnormal Trac import documentation task
- CLOSED
- 2
updated Jul 07, 2019
option to accept ISO C99... unsupported

#12171 · opened Jun 09, 2016 by wozgonon 5 Pnormal Trac import bug ghc build failure
- CLOSED
- 13
updated Jul 07, 2019
Add flag to control whether out of scope variables should be deferred with -fdefer-typed-holes

#12170 · opened Jun 08, 2016 by Matthew Pickering 8.0.2 5 Pnormal Trac import bug newcomer
- CLOSED
- 9
updated Jul 07, 2019
<<loop>> when zip + unzipping a shadowed Vector type variable

#12167 · opened Jun 08, 2016 by markog 5 Pnormal Trac import bug incorrect runtime result
- CLOSED
- 3
updated Jul 07, 2019
Pattern synonym existential variable confusion

#12166 · opened Jun 08, 2016 by Richard Eisenberg 5 Pnormal PatternSynonyms Trac import bug
- CLOSED
- 2
updated Jul 07, 2019
Multiple pattern type signatures accepted

#12165 · opened Jun 08, 2016 by Richard Eisenberg 8.2.1 5 Pnormal PatternSynonyms Trac import bug newcomer
- CLOSED
- 5
updated Jul 07, 2019
Type signatures in patterns not (yet) handled by Template Haskell

#12164 · opened Jun 07, 2016 by Edward Z. Yang 8.2.1 5 Pnormal TemplateHaskell Trac import feature request
- CLOSED
- 5
updated Jul 07, 2019
Surprising error message when deriving Functor for a GADT

#12163 · opened Jun 07, 2016 by benjamin.hodgson 8.2.1 5 Pnormal Trac import bug error messages
- CLOSED
- 2
updated Jul 07, 2019
Concatenation of type level symbols missing

#12162 · opened Jun 07, 2016 by lennart@augustsson.net 8.2.1 5 Pnormal Trac import feature request typechecker
- CLOSED
- 14
updated Jul 07, 2019
MonadFail instance for (Either String)?

#12160 · opened Jun 06, 2016 by Alexis King 5 Pnormal Trac import feature request
- CLOSED
- 15
updated Jul 07, 2019
ghc: panic! (the 'impossible' happened) translateConPatVec: lookup

#12158 · opened Jun 06, 2016 by wozgonon 8.4.2 7 Phigh Trac import bug
- CLOSED
- 17
updated Jul 07, 2019
-fdefer-typed-holes causes panic on unbound variable

#12156 · opened Jun 05, 2016 by Ömer Sinan Ağacan 8.0.2 7 Phigh Trac import bug
- CLOSED
- 4
updated Jul 07, 2019
Description of flags cut off

#12155 · opened Jun 05, 2016 by mikail 8.4.1 3 Plow Trac import documentation task
- CLOSED
- 6
updated Jul 07, 2019