#8053: unification error with ghc head -------------------------------------------+------------------------------- Reporter: carter | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler (Type checker) | Version: 7.7 Keywords: | Operating System: Architecture: Unknown/Multiple | Unknown/Multiple Difficulty: Unknown | Type of failure: Blocked By: | None/Unknown Related Tickets: | Test Case: | Blocking: -------------------------------------------+------------------------------- Ben Gamari is reporting unification errors when he tries to build llvm- general using current GHC HEAD (7.7) llvm-general currently builds with 7.4 and 7.6, so unless theres substantial changes to how higher rank types are checked, this sounds like it may be a type checker bug in HEAD. https://github.com/bscarlet/llvm-general/issues/54 is relevant bug report, i'll include a copy of the information in a comment on this ticket -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/8053 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler