[GHC] #10742: GHC cannot deduce (irrelevant) reflexive type equality.
GHC
ghc-devs at haskell.org
Thu Aug 6 07:04:44 UTC 2015
#10742: GHC cannot deduce (irrelevant) reflexive type equality.
-------------------------------------+-------------------------------------
Reporter: ntc2 | Owner:
Type: bug | Status: new
Priority: normal | Milestone:
Component: Compiler (Type | Version: 7.10.2
checker) | Keywords: TypeLits
Resolution: | GADTs
Operating System: Unknown/Multiple | Architecture:
Type of failure: GHC rejects | Unknown/Multiple
valid program | Test Case:
Blocked By: | Blocking:
Related Tickets: | Differential Revisions:
-------------------------------------+-------------------------------------
Changes (by thomie):
* os: Linux => Unknown/Multiple
* architecture: x86_64 (amd64) => Unknown/Multiple
Comment:
Fwiw, ghc HEAD reports:
{{{
$ ghc-7.11.20150805 Test.hs
[1 of 1] Compiling TypeLitsBug ( Test.hs, Test.o )
Test.hs:11:9: warning:
Redundant constraints: ((x <=? y) ~ 'True, (y <=? z) ~ 'True)
In the type signature for:
test :: ((x <=? y) ~ 'True, (y <=? z) ~ 'True) => proxy x y z -> ()
}}}
--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10742#comment:1>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
More information about the ghc-tickets
mailing list