Issues · Glasgow Haskell Compiler / GHC · GitLab

More lazy orphan module loading

#9717 · opened Oct 24, 2014 by Edward Z. Yang 8.0.1 5 Pnormal Tbug Trac import backpack typechecker
- 5
updated Mar 15, 2021
Building an empty module with profiling requires profiling libraries for integer-gmp

#8572 · opened Nov 28, 2013 by parcs 8.0.1 5 Pnormal Tbug Trac import integer-gmp typechecker
- 4
updated Jul 07, 2019
type nats solver is too weak!

#8422 · opened Oct 08, 2013 by Carter Schonwald 8.0.1 5 Pnormal Tbug Trac import type literals typechecker
- 7
updated Jul 07, 2019
Error on pattern matching of an existential whose context includes a type function

#7849 · opened Apr 20, 2013 by guest 8.0.1 5 Pnormal Tbug Trac import typechecker
- 4
updated Jul 07, 2019
RebindableSyntax and Arrow

#7828 · opened 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 · opened 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 · opened Dec 16, 2012 by Ashley Yakeley 8.0.1 5 Pnormal Tbug Trac import TypeInType typechecker
- 8
updated Jul 07, 2019
ghc-7 assumes incoherent instances without requiring language `IncoherentInstances`

#7296 · opened Oct 04, 2012 by C Maeder 8.0.1 5 Pnormal Tbug Trac import typechecker
- 10
updated Jul 07, 2019
Missing type checks for arrow command combinators

#5267 · opened Jun 22, 2011 by peteg 8.0.1 3 Arrows Plow Tbug Trac import broken test typechecker
- 22
updated Jul 07, 2019
arrow notation: incorrect scope of existential dictionaries

#344 · opened Apr 07, 2005 by nobody 8.0.1 0 Arrows Plow Tbug Trac import typechecker
- 23
updated Mar 12, 2021
Allow `State# s` argument/result types in `ccall` FFI imports

#9352 · opened Jul 23, 2014 by Herbert Valerio Riedel 8.0.1 5 Pnormal Tfeature request Trac import typechecker
- 12
updated Jul 07, 2019
Allow compatible type synonyms to be the return type of a GADT data constructor.

#7494 · opened Dec 10, 2012 by topi 8.0.1 5 GADTs Pnormal Tfeature request Trac import typechecker
- 6
updated Jul 07, 2019
Allow type signature in export list

#7140 · opened Aug 13, 2012 by Dan Burton 8.0.1 5 Pnormal Tfeature request Trac import typechecker
- 4
updated Jul 07, 2019
Allow defining kinds alone, without a datatype

#6024 · opened Apr 19, 2012 by dreixel 8.0.1 5 Pnormal Tfeature request Trac import typechecker
- 1
- 11
updated Jul 07, 2019
Holes with other constraints

#5910 · opened 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 · opened Oct 28, 2011 by nfrisby 8.0.1 5 Pnormal Tfeature request Trac import typechecker
- 7
updated Jul 07, 2019
Relax restrictions on type family instance overlap

#4259 · opened Aug 16, 2010 by lilac 8.0.1 5 Pnormal Tfeature request Trac import injective type families typechecker
- 32
updated Jul 07, 2019
Please consider adding support for local type synonyms

#4020 · opened Apr 27, 2010 by nr@eecs.harvard.edu 8.0.1 3 Plow Tfeature request Trac import typechecker
- 2
- 17
updated Jul 07, 2019
Add a total order on type constructors

#1894 · opened Nov 14, 2007 by guest 8.0.1 0 Plow Tfeature request Trac import typechecker
- 16
updated Jul 07, 2019
Typed hole subtitution search fails in the REPL

#14858 · opened Feb 26, 2018 by paf31 8.4.1 5 Pnormal Tbug Trac import typechecker typed holes
- 1
updated Jul 07, 2019

Prev
1
2
3
4
5
…
14
Next