Issues · Glasgow Haskell Compiler / GHC · GitLab

Require XOverlappingInstances for the most specific instance only

#3877 · created Feb 12, 2010 by traz161616 7.2.1 5 OverlappingInstances Pnormal Tbug Tfeature request Trac import typechecker
- CLOSED
- 12
updated Jul 07, 2019
type family does not get expanded in ghc-6.12.1

#3851 · created Feb 01, 2010 by Andres Löh 5 Pnormal Tbug Trac import typechecker
- CLOSED
- 5
updated Jul 07, 2019
Can't infer type (type family as "element" type)

#3826 · created Jan 19, 2010 by spl 5 Pnormal Tbug Trac import TypeFamilies typechecker
- CLOSED
- 6
updated Jul 07, 2019
Pragma for suppressing 'orphan instance' warnings per instance

#3820 · created Jan 14, 2010 by guest 5 Pnormal Tfeature request Trac import typechecker
- CLOSED
- 2
updated Jul 07, 2019
keeping RelaxedPolyRec as optional feature can help spotting infinite recursion

#3819 · created Jan 14, 2010 by guest 5 Pnormal Tbug Trac import typechecker
- CLOSED
- 1
updated Jul 07, 2019
GHC 6.12.1 panic

#3787 · created Dec 26, 2009 by Ghost User 5 Pnormal Tbug Trac import compiler crash typechecker
- CLOSED
- 17
updated Jul 07, 2019
overlapping orphan instances behave like incoherent without warning/error

#3734 · created Dec 07, 2009 by Tomáš Janoušek 5 Pnormal Tbug Trac import incorrect runtime result typechecker
- CLOSED
- 2
updated Jul 07, 2019
Being instance of Monoid is not checked

#3700 · created Nov 27, 2009 by Boris Lykah 5 Pnormal Tbug Trac import typechecker
- CLOSED
- 2
updated Jul 07, 2019
GHC panics on a crazy type signature

#3690 · created Nov 25, 2009 by Boris 5 Pnormal Tbug Trac import compiler crash typechecker
- CLOSED
- 1
updated Jul 07, 2019
GADT type checking too liberal

#3651 · created Nov 10, 2009 by MartijnVanSteenbergen 5 Pnormal Tbug Trac import typechecker
- CLOSED
- 7
updated Jul 07, 2019
Add a Natural number type to the pre-defined basic types.

#3650 · created Nov 10, 2009 by JohnD 5 Pnormal Tbug Trac import typechecker
- CLOSED
- 2
updated Jul 07, 2019
Redundant signature required with RULES and GADTs

#3638 · created Nov 04, 2009 by rl@cse.unsw.edu.au 5 Pnormal Tbug Trac import typechecker
- CLOSED
- 3
updated Jul 07, 2019
Better error messages for do-notation

#3613 · created Oct 27, 2009 by Simon Peyton Jones 5 Pnormal Tbug Trac import typechecker
- CLOSED
- 4
updated Jul 07, 2019
Eta-contraction gives a rather bogus type error message

#3592 · created Oct 16, 2009 by guest 7.4.1 5 Pnormal Tbug Trac import typechecker
- CLOSED
- 4
updated Jul 07, 2019
type signature involving a type family rejected

#3584 · created Oct 14, 2009 by baramoglo 5 Pnormal Tbug Trac import typechecker
- CLOSED
- 2
updated Jul 07, 2019
ASSERT failed! file TcMType.lhs line 349

#3554 · created Sep 30, 2009 by Simon Marlow 5 Pnormal Tbug Trac import typechecker
- CLOSED
- 5
updated Jul 07, 2019
GHC crash: equality and class contexts on datatype accessor

#3528 · created Sep 19, 2009 by guest 5 Pnormal Tbug Trac import typechecker
- CLOSED
- 2
updated Jul 07, 2019
"Illegal type synonym family application in instance" error is unnecessary, should be removed

#3485 · created Sep 03, 2009 by Ashley Yakeley 5 Pnormal Tbug Trac import typechecker
- CLOSED
- 1
updated Jul 07, 2019
Compiler warning about non-exhaustive pattern match with GADT and type-signature

#3476 · created Aug 30, 2009 by Ashley Yakeley 5 Pnormal Tbug Trac import typechecker
- CLOSED
- 1
updated Jul 07, 2019
Confluent type family instances confuse the solver

#3383 · created Jul 18, 2009 by Miëtek Bak 5 Pnormal Tbug Trac import typechecker
- CLOSED
- 1
updated Jul 07, 2019

Prev
1
…
47
48
49
50
51
52
53
54
55
…
69
Next