[GHC] #15223: Serialising Names using the GHC API is not possible

GHC ghc-devs at haskell.org
Sun Jun 3 22:29:46 UTC 2018


#15223: Serialising Names using the GHC API is not possible
-------------------------------------+-------------------------------------
           Reporter:  mpickering     |             Owner:  (none)
               Type:  bug            |            Status:  new
           Priority:  normal         |         Milestone:  8.6.1
          Component:  Compiler       |           Version:  8.4.3
           Keywords:                 |  Operating System:  Unknown/Multiple
       Architecture:                 |   Type of failure:  None/Unknown
  Unknown/Multiple                   |
          Test Case:                 |        Blocked By:
           Blocking:                 |   Related Tickets:
Differential Rev(s):  Phab:D4782     |         Wiki Page:
-------------------------------------+-------------------------------------
 In order to serialise a `Name` using `Binary` you have to initialise
 `UserData`. This isn't possible because the constructors necessary to
 write the symbol table and dictionary are not exported. However, it turns
 out to be easy to extract the necessary logic and provide two nice wrapper
 functions to provide this functionality.

 This makes it possible to serialise Names when writing source plugins for
 instance.

 https://phabricator.haskell.org/D4782

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


More information about the ghc-tickets mailing list