Re: [GHC] #9897: Couldn't match type `Id (Id Char)' with `Char'

18 Dec 2014


      #9897: Couldn't match type `Id (Id Char)' with `Char'
-------------------------------------+-------------------------------------
              Reporter:  erisco      |            Owner:
                  Type:  bug         |           Status:  closed
              Priority:  normal      |        Milestone:
             Component:  Compiler    |          Version:  7.8.3
  (Type checker)                     |         Keywords:
            Resolution:  duplicate   |     Architecture:  x86_64 (amd64)
      Operating System:  Windows     |       Difficulty:  Unknown
       Type of failure:  GHC         |       Blocked By:
  rejects valid program              |  Related Tickets:
             Test Case:              |
              Blocking:              |
Differential Revisions:              |
-------------------------------------+-------------------------------------
Changes (by simonpj):

 * status:  new => closed
 * resolution:   => duplicate


Comment:

 Same as #9898 I'm afraid.  HEAD says
 {{{
 T9897.hs:20:8:
     Type family ‘Id’ should have 1 argument, but has been given none
     In the type signature for ‘foo’: foo :: (Id :.: Id) Char
 }}}
 So I'll close this as a dup of #9898.

 Simon

--
Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/9897#comment:1
GHC http://www.haskell.org/ghc/
The Glasgow Haskell Compiler