#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