[GHC] #16104: Plugin name lookup behavior change from GHC 8.4 series
GHC
ghc-devs at haskell.org
Sat Dec 29 01:28:52 UTC 2018
#16104: Plugin name lookup behavior change from GHC 8.4 series
-------------------------------------+-------------------------------------
Reporter: lerkok | Owner: (none)
Type: bug | Status: new
Priority: normal | Milestone:
Component: Compiler | Version: 8.6.3
Resolution: | Keywords:
Operating System: Unknown/Multiple | Architecture:
| Unknown/Multiple
Type of failure: None/Unknown | Test Case:
Blocked By: | Blocking:
Related Tickets: | Differential Rev(s):
Wiki Page: |
-------------------------------------+-------------------------------------
Comment (by lerkok):
Thanks Matt. Unfortunately that doesn't work either:
Here's the original plugin registered:
{{{#!hs
$ ghc-pkg list sbvPlugin
/usr/local/lib/ghc-8.6.3/package.conf.d
(no packages)
/Users/LeventErkok/.ghc/x86_64-darwin-8.6.3/package.conf.d
sbvPlugin-0.11
}}}
Example test file:
{{{#!hs
$ cat T11.hs
{-# OPTIONS_GHC -fplugin=Data.SBV.Plugin #-}
module T11 where
import Data.SBV.Plugin
h :: Integer -> Integer
h x = x - 1
g :: Integer -> Integer
g x = if x < 12 then x+1 else h x
{-# ANN f theorem #-}
f :: Integer -> Bool
f x = g x < g (x+1)
}}}
And I still get:
{{{#!hs
$ ghci T11.hs
GHCi, version 8.6.3: http://www.haskell.org/ghc/ :? for help
[1 of 1] Compiling T11 ( T11.hs, interpreted )
*** Exception: [SBV] Impossible happened, while trying to locate GHC name
for: Data.Bits.complement
CallStack (from HasCallStack):
error, called at ./Data/SBV/Plugin/Env.hs:380:30 in
sbvPlugin-0.11-9tpp46BgzL09G1cUaUExU2:Data.SBV.Plugin.Env
}}}
Exactly the same issue. It's the same problem whether I load it in `ghci`
or compile with `ghc`.
--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/16104#comment:2>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
More information about the ghc-tickets
mailing list