[GHC] #14779: Compiling with -g fails -lint-core checks

GHC ghc-devs at haskell.org
Thu Feb 8 14:16:38 UTC 2018


#14779: Compiling with -g fails -lint-core checks
-------------------------------------+-------------------------------------
           Reporter:  niteria        |             Owner:  (none)
               Type:  bug            |            Status:  new
           Priority:  normal         |         Milestone:
          Component:  Compiler       |           Version:
  (Debugging)                        |
           Keywords:                 |  Operating System:  Unknown/Multiple
       Architecture:                 |   Type of failure:  Compile-time
  Unknown/Multiple                   |  crash or panic
          Test Case:                 |        Blocked By:
           Blocking:                 |   Related Tickets:  #14122, #14123,
                                     |  #8472, #14406
Differential Rev(s):                 |         Wiki Page:
-------------------------------------+-------------------------------------
 Compiling the attached file produces:
 {{{
 $ inplace/bin/ghc-stage2 -O -dcore-lint -g -c Data.Fixed.hs
 *** Core Lint errors : in result of Simplifier ***
 <no location info>: warning:
     [RHS of str_s2UI :: Addr#]
     The type of this binder is unlifted: str_s2UI
     Binder's type: Addr#
 *** Offending Program ***
 ...
 str_s2UI :: Addr#
 [LclId,
  Unf=Unf{Src=<vanilla>, TopLvl=False, Value=True, ConLike=True,
          WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 30 0}]
 str_s2UI = src<Data.Fixed.hs:78:31-39> "MkFixed"#

 str_a2j4 :: String
 [LclId,
  Unf=Unf{Src=<vanilla>, TopLvl=False, Value=False, ConLike=True,
          WorkFree=False, Expandable=True, Guidance=IF_ARGS [] 20 0}]
 str_a2j4 = src<Data.Fixed.hs:78:31-39> unpackCString# str_s2UI
 ...
 }}}


 This came up when I wanted to compile GHC HEAD with `-g`.
 There are a couple of related tickets, but some of them didn't reproduce.
 This is a small, self-contained example.
 I'm hoping that it would be possible to solve this without fully solving
 #14123 which seems to have bigger scope.

 My HEAD is d2511e3b61563ed3fc2c9aec2c90a4156373a24c.

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


More information about the ghc-tickets mailing list