[GHC] #10294: Missing instances if compiling with -fplugin

GHC ghc-devs at haskell.org
Wed Jul 15 22:09:43 UTC 2015


#10294: Missing instances if compiling with -fplugin
-------------------------------------+-------------------------------------
        Reporter:  jscholl           |                   Owner:
            Type:  bug               |                  Status:  new
        Priority:  normal            |               Milestone:
       Component:  Compiler (Type    |                 Version:  7.10.1
  checker)                           |                Keywords:
      Resolution:                    |            Architecture:  x86_64
Operating System:  Linux             |  (amd64)
 Type of failure:  GHC rejects       |               Test Case:
  valid program                      |  plugins/T10294, plugins/T10294a
      Blocked By:  10420             |                Blocking:
 Related Tickets:                    |  Differential Revisions:
-------------------------------------+-------------------------------------
Changes (by thomie):

 * status:  closed => new
 * testcase:   => plugins/T10294, plugins/T10294a
 * resolution:  duplicate =>


Comment:

 The `pre_cmd` of T10294 and T10294a generates the following warning with a
 devel2 build:

 {{{
 $ make -s --no-print-directory -C annotation-plugin package.T10294
 WARNING: file compiler/specialise/Specialise.hs, line 722
   specImport discarding: mapM_ :: forall a_a5Mh
                                          (m_a5Mi :: * -> *)
                                          b_a5Mj
                                          (t_a5Mk :: * -> *).
                                   (Foldable t_a5Mk, Monad m_a5Mi) =>
                                   (a_a5Mh -> m_a5Mi b_a5Mj) -> t_a5Mk
 a_a5Mh -> m_a5Mi ()
     want: False
     stable: False
     calls: mapM_ _ @ CoreM _ @ [] $fFoldable[] $fMonadCoreM
 }}}

 This makes the test fail for me, even when DYNAMIC_GHC_PROGRAMS=YES (my
 timeout program stops working for some reason when it sees unexpected
 output). I don't know if the warning can be ignored, so I'm reopening this
 ticket.

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


More information about the ghc-tickets mailing list