[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