[GHC] #14673: Unary Unboxed Tuple Type Constructor
GHC
ghc-devs at haskell.org
Tue Jan 16 17:19:22 UTC 2018
#14673: Unary Unboxed Tuple Type Constructor
-------------------------------------+-------------------------------------
Reporter: andrewthad | Owner: (none)
Type: bug | Status: new
Priority: normal | Milestone:
Component: Compiler | Version: 8.4.1-alpha1
Resolution: | Keywords:
Operating System: Unknown/Multiple | Architecture:
| Unknown/Multiple
Type of failure: None/Unknown | Test Case:
Blocked By: | Blocking:
Related Tickets: | Differential Rev(s):
Wiki Page: |
-------------------------------------+-------------------------------------
Comment (by simonpj):
Yes, we have
* Boxed tuple constructors: `()`, `Unit`, `(,)`, `(,,)`, etc
* Unboxed tuple constructors: `(##)`, `Unit#`, `(#,#)`, `(#,,#)`, etc
All but `Unit` and `Unit#` are built-in syntax, and hence don't need to be
imported.
I agree that it'd be useful to be able to import `Unit` and `Unit#`. I'm
sure it would not be hard. I ''think'' that all you need to do is
* add `AvailTC (getName unitTyCon) [getName unitTyCon, getName
unitDataCon]` and simlarly for `unboxedUnitTyCon`, to
`PrelInfo.ghcPrimExports`
Would someone like to try that?
--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/14673#comment:4>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
More information about the ghc-tickets
mailing list