[GHC] #14285: Entered absent arg - triggered by INLINEABLE, regression from 8.0.2

GHC ghc-devs at haskell.org
Wed Sep 27 09:00:53 UTC 2017


#14285: Entered absent arg - triggered by INLINEABLE, regression from 8.0.2
--------------------------------------+---------------------------------
           Reporter:  j.waldmann      |             Owner:  (none)
               Type:  bug             |            Status:  new
           Priority:  normal          |         Milestone:
          Component:  Compiler        |           Version:  8.2.1
           Keywords:                  |  Operating System:  Linux
       Architecture:  x86_64 (amd64)  |   Type of failure:  None/Unknown
          Test Case:                  |        Blocked By:
           Blocking:                  |   Related Tickets:
Differential Rev(s):                  |         Wiki Page:
--------------------------------------+---------------------------------
 Steps to reproduce:
 {{{
 git clone https://gitlab.imn.htwk-leipzig.de/waldmann/pure-matchbox
 git checkout a2005d246cb7bd77a33bf4c09419534bc7ecd435
 stack build
 .stack-work/install/x86_64-linux/nightly-2017-09-26/8.2.1/bin/pure-
 matchbox -i -w Count data/z001.srs
 }}}

 Output:
 {{{
 pure-matchbox: Oops!  Entered absent arg ww Map k (Set k1)
 }}}

 Error goes away when compiling with -O0, or when removing this pragma in
 src/Matchbox/Pairs.hs
 {{{
      52 {-# INLINEABLE pre_images #-}
      53 pre_images x rel = images x $ mirrorRel rel
 }}}

 (normal output starts with YES on a single line)

 Error also goes away when building with 8.0.2
 {{{
 PATH=/where/you/have/installed/ghc-8.0.2/bin:$PATH stack build
 --resolver=lts-9.6
 }}}

 I tried to isolate a shorter test case but gave up after some hours. Is
 there some automation for this?

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


More information about the ghc-tickets mailing list