#12991: panic when using IrredPreds in a type checker plugin. -------------------------------------+------------------------------------- Reporter: owen | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.0.1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Compile-time | Unknown/Multiple crash or panic | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by simonpj): Works ok in HEAD and the 8.0 branch, so maybe it's fixed. {{{ ~/5builds/ghc-8.0-branch/inplace/bin/ghc-stage2 -dynamic --make -dcore- lint -package ghc *hs [1 of 3] Compiling Test.Plugin ( Plugin.hs, Plugin.o ) [2 of 3] Compiling Test.Compare ( Compare.hs, Compare.o ) [3 of 3] Compiling Test.Fails ( Fails.hs, Fails.o ) irred compare [W] irred_aaYl :: l_aaVc[tau:3] ≽ l'_aaVd[tau:3] (CNonCanonical) irred compare [W] irred_aaYm :: l'_aaVd[tau:3] ≽ l_aaVc[tau:3] (CNonCanonical) simonpj@cam-05-unx:~/tmp/ghc-plugin-test/Test$ }}} I had to change `import Data.Constraint` to `import GHC.Exts`. Where is the "right" place to import `Constraint` from? -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/12991#comment:1 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler