[GHC] #15122: Compiling a library problem with a local 8.5 build

[GHC]

#15122: Compiling a library problem with a local 8.5 build
-------------------------------------+-------------------------------------
        Reporter:  fmixing           |                Owner:  (none)
            Type:  bug               |               Status:  new
        Priority:  normal            |            Milestone:  8.6.1
       Component:  Compiler          |              Version:  8.5
      Resolution:                    |             Keywords:
Operating System:  MacOS X           |         Architecture:  x86_64
 Type of failure:  GHC rejects       |  (amd64)
  valid program                      |            Test Case:
      Blocked By:                    |             Blocking:
 Related Tickets:                    |  Differential Rev(s):
       Wiki Page:                    |
-------------------------------------+-------------------------------------

Comment (by fmixing):

 Replying to [comment:2 mpickering]:
 > You may have found a bug but it's impossible to say without knowing what
 you are trying to compile.

 type-level-sets library from https://github.com/dorchard/type-level-sets.
 It cannot be installed by `cabal install` because it is lacking of
 `TypeInType` extension in `Data.Type.Set`, so I downloaded it, added
 extension, imported `import GHC.Types`, `*` replaced with `GHC.Types.*`.
 So the current `Data.Type.Set` looks like
 https://gist.github.com/fmixing/695d46c6c5cc97398c3c44e05f23d764

-- 
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/15122#comment:3>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler