[GHC] #8619: Support anonymous string literals in C-- (OR) give better ASSERT failure messages in C--

GHC ghc-devs at haskell.org
Fri Dec 20 13:22:17 UTC 2013


#8619: Support anonymous string literals in C-- (OR) give better ASSERT failure
messages in C--
------------------------------------+-------------------------------------
       Reporter:  ezyang            |             Owner:
           Type:  bug               |            Status:  new
       Priority:  low               |         Milestone:
      Component:  Compiler          |           Version:  7.7
       Keywords:                    |  Operating System:  Unknown/Multiple
   Architecture:  Unknown/Multiple  |   Type of failure:  Other
     Difficulty:  Unknown           |         Test Case:
     Blocked By:                    |          Blocking:
Related Tickets:                    |
------------------------------------+-------------------------------------
 So if I say "foobar" in C--, it turns into:

 {{{
   section "rodata" {
         fresh_name : bits8[] "foobar\0";
   }
 }}}

 This would let us fix the ASSERT macro in Cmm.h to also get the filename.
 Requires parser changes.

 Alternatively, we can redefine the ASSERT macro per C-- file to have a
 hardcoded filename with some preprocessor trickery.

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


More information about the ghc-tickets mailing list