Issues · Glasgow Haskell Compiler / GHC · GitLab

Require PatternSynonyms language extension to *use* pattern synonyms

#8961 · opened Apr 06, 2014 by cactus 7.8.1 5 Pnormal Trac import bug typechecker
- CLOSED
- 10
updated Jul 07, 2019
The type defaulting in GHCi with Typeable

#8931 · opened Mar 27, 2014 by skata@cs.miyazaki-u.ac.jp 7.8.1 5 Pnormal Trac import Typeable bug typechecker
- CLOSED
- 2
updated Jul 07, 2019
GeneralizedNewtypeDeriving sometimes needs RankNTypes

#8758 · opened Feb 09, 2014 by Richard Eisenberg 7.8.1 5 Pnormal Trac import bug typechecker
- CLOSED
- 2
updated Jul 07, 2019
Disallow local pattern synonym declarations

#8757 · opened Feb 09, 2014 by cactus 7.8.1 5 Pnormal Trac import bug typechecker
- CLOSED
- 3
updated Jul 07, 2019
Type inference regression with local dictionaries

#8705 · opened Jan 27, 2014 by Richard Eisenberg 7.8.1 7 Phigh Trac import bug typechecker
- CLOSED
- 8
updated Jul 07, 2019
TransformListComp weird type error

#8073 · opened Jul 18, 2013 by Simon Marlow 7.8.1 5 Pnormal Trac import bug typechecker
- CLOSED
- 3
updated Jul 07, 2019
panic: kindFunResult ghc-prim:GHC.Prim.*{(w) tc 34d}

#7852 · opened Apr 21, 2013 by Ian Lynagh <igloo@earth.li> 7.8.1 7 Phigh Trac import bug typechecker
- CLOSED
- 3
updated Jul 07, 2019
Silly error message suggesting LiberalTypeSynonyms

#7809 · opened Apr 03, 2013 by Richard Eisenberg 7.8.1 5 Pnormal Trac import bug typechecker
- CLOSED
- 2
updated Jul 07, 2019
kindFunResult panic with => inside a constraint

#7778 · opened Mar 19, 2013 by Krzysztof Gogolewski 7.8.1 5 Pnormal Trac import bug typechecker
- CLOSED
- 3
updated Jul 07, 2019
Explicit type signatures for top level record pattern matches polymorphism fail

#7268 · opened Sep 24, 2012 by ToRA 7.8.1 5 Pnormal Trac import bug typechecker
- CLOSED
- 6
updated Jul 07, 2019
Confusing error message in type checking related to type family, fundep, and higher-rank type

#7220 · opened Sep 05, 2012 by tsuyoshi 7.8.1 5 Pnormal Trac import bug typechecker
- CLOSED
- 5
updated Jul 07, 2019
problems with typelits and typenats

#7186 · opened Aug 24, 2012 by Carter Schonwald 7.8.1 5 Pnormal Trac import bug typechecker
- CLOSED
- 6
updated Jul 07, 2019
generalized newtype and type families is unsound

#7148 · opened Aug 15, 2012 by Carter Schonwald 7.8.1 5 Pnormal Trac import bug typechecker
- CLOSED
- 9
updated Jul 07, 2019
GeneralizedNewtypeDeriving should fail with data families

#6147 · opened Jun 06, 2012 by rl@cse.unsw.edu.au 7.8.1 7 Phigh Trac import bug typechecker
- CLOSED
- 6
updated Jul 07, 2019
Cyclic Type Class Hierarchy Produces <<loop>>

#6117 · opened May 20, 2012 by jun0 7.8.1 5 Pnormal Trac import bug incorrect runtime result typechecker
- CLOSED
- 8
updated Jul 07, 2019
Instance inference failure with GADTs

#6074 · opened May 04, 2012 by Richard Eisenberg 7.8.1 5 GADTs Pnormal Trac import bug typechecker
- CLOSED
- 8
updated Jul 07, 2019
Template Haskell: Cycle in type synonym declarations

#4364 · opened Oct 04, 2010 by Ian Lynagh <igloo@earth.li> 7.8.1 7 Phigh Trac import bug typechecker
- CLOSED
- 8
updated Jul 07, 2019
Panic on a pattern synonym in a class

#9705 · opened Oct 19, 2014 by Krzysztof Gogolewski 7.8.4 5 Pnormal Trac import bug compiler crash typechecker
- CLOSED
- 4
updated Jul 07, 2019
Partially applied type family allowed but unusable

#9433 · opened Aug 11, 2014 by hesselink 7.8.4 5 Pnormal Trac import bug typechecker
- CLOSED
- 3
updated Jul 07, 2019
Documentation build fails if GHCi is unavailable

#8988 · opened Apr 11, 2014 by cjwatson 7.8.4 5 Pnormal Trac import bug ghc build failure typechecker
- CLOSED
- 4
updated Jul 07, 2019

Prev
1
2
3
4
5
…
62
Next