[GHC] #14673: Unary Unboxed Tuple Type Constructor
#14673: Unary Unboxed Tuple Type Constructor -------------------------------------+------------------------------------- Reporter: andrewthad | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.4.1-alpha1 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: None/Unknown Unknown/Multiple | Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- The type constructor for a unary unboxed tuple cannot be written in GHC haskell. Consider the following value which is wrapped in by a unary unboxed tuple: {{{
:type (# 5# #) (# 5# #) :: (# Int# #) }}}
Now consider the type constructor for unboxed 2-tuples: {{{
:set -fprint-explicit-kinds :set -fprint-explicit-foralls :kind! (# , #) (# , #) :: forall (k0 :: RuntimeRep) (k1 :: RuntimeRep). TYPE k0 -> TYPE k1 -> TYPE ('TupleRep ((':) RuntimeRep k0 ((':) RuntimeRep k1 ('[] RuntimeRep)))) = (#,#) }}}
Horrid looking, but undoubtedly correct. But how can we do this for a unary unboxed tuple? The naive approach gives us the nullary tuple instead: {{{
:kind! (# #) (# #) :: TYPE ('TupleRep ('[] RuntimeRep)) = (# #) }}}
I do actually have a real use-case for this that I can discuss more if needed. For the syntax, I really haven't the faintest idea what I would expect. Maybe something like: `(## ##)` or `(# @1 #)`, but those both seem pretty bad. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/14673 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#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 andrewthad): As a verbose workaround, it looks like this should give me something with an equivalent runtime representation: {{{ ((# , #) :: forall (r :: RuntimeRep). TYPE (TupleRep '[]) -> TYPE r -> TYPE (TupleRep '[ TupleRep '[], r])) (# #) }}} -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/14673#comment:1 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#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 duog): There is `Unit#` defined in TysWiredIn, see Note [One-tuples] in that file. I don't think it's exported for use anywhere though, I couldn't get it to work in ghci. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/14673#comment:2 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#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 andrewthad): Ah, `Unit#` is a much more natural name for this. It would be nice if this were exported somewhere. Even if `Unit# a` and `(# a #)` aren't actually the same type, it would still work fine for what I'm trying to do. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/14673#comment:3 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#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
#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 goldfire): Perhaps I'm being dense here, but I normally use the word "unit" for the 0-tuple. Does GHC really define `Unit` and `Unit#` to be 1-tuples? -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/14673#comment:5 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#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 andrewthad): One of my coworkers Daniel Cartwright has put up a PR on github for making `Unit` and `Unit#` available. Also, I agree with Richard that `Unit` is an unfortunate name. Perhaps something like "single" or "only" is more accurate, but I don't know how many places these are used internally and what the cost of renaming them is. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/14673#comment:6 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#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 andrewthad): Forgot to link to the PR: https://github.com/ghc/ghc/pull/96. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/14673#comment:7 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#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 bgamari): I doubt it would be very hard to change the name and if we are going to do so we should do it now, before the names are in the wild. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/14673#comment:8 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#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 andrewthad): Here are my name suggestions: Single, Singleton, Only, UnaryTuple, Unary, Uni, Mono. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/14673#comment:9 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#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 _recursion): I like `Unary`, but I have a slight bit of concern that it's too close to `Unit` for comfort. `Only` also has quite a nice ring to it. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/14673#comment:10 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#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): Changing names would be easy. The hard thing is deciding the names. You might want to consult the libraries@ list. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/14673#comment:11 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#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 andrewthad): I've started a thread for this on the mailing list: https://mail.haskell.org/pipermail/libraries/2018-January/028419.html. It's attracted some good feedback. At this point, the name `Solo` (and `Solo#`) seems to have slightly more support than others, but it's probably best to wait several days for the thread to garner more attention. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/14673#comment:12 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#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 carter): this would be for the term constructors, not the type constructors, right? or vice versa? -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/14673#comment:13 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#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 hsyl20): Replying to [comment:4 simonpj]:
Yes, we have
* Boxed tuple constructors: `()`, `Unit`, `(,)`, `(,,)`, etc * Unboxed tuple constructors: `(##)`, `Unit#`, `(#,#)`, `(#,,#)`, etc
The peculiarity of the one-tuple is unfortunate. Couldn't we aim towards something like this: - Boxed tuple constructors: `()*`, `(**)`, `(*,*)`, `(*,,*)`, etc. - Unboxed tuple constructors: `()#`, `(##)`, `(#,#)`, `(#,,#)`, etc. - Syntactic sugar: `()`, `(,)`, `(,,)`, etc. default to boxed tuples This would avoid the bikeshedding and fix the use of the name "unit" for a one-tuple. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/14673#comment:14 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#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): Bikeshedding about built-in syntax is even ''more'' difficult than bikeshedding about ordinary names! `Solo` and `Solo#` seem good to me. But in any case the libraries committee should rule on this! -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/14673#comment:15 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#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 andrewthad): What's the procedure for getting the core libraries committee to rule on something? Can I just send an email to core-libraries-committee AT haskell.org linking to all the relevant discussion and asking them to decide on a name. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/14673#comment:16 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#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 andrewthad): Also, to address carter's question, my intent was that this would be for both the type constructors and the term constructors. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/14673#comment:17 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#14673: Unary Unboxed Tuple Type Constructor -------------------------------------+------------------------------------- Reporter: andrewthad | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: 8.6.1 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: | -------------------------------------+------------------------------------- Changes (by bgamari): * cc: core-libraries-committee@… (added) * milestone: => 8.6.1 Comment: This being a GHC-specific name, it's not clear that this is under the purview of the CLC. That being said, I'll let them chime in. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/14673#comment:18 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#14673: Unary Unboxed Tuple Type Constructor -------------------------------------+------------------------------------- Reporter: andrewthad | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: 8.6.1 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 chessai): With all due respect, if the CLC does not decide on a name, I feel like it should be @simonpj's decision, as the Libraries Mailing List could not decide. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/14673#comment:19 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#14673: Unary Unboxed Tuple Type Constructor -------------------------------------+------------------------------------- Reporter: andrewthad | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: 8.6.1 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 ekmett): I have no strong preference, but Simon's suggestion of `Solo#` sounds good to me. Keeping the hash in seems consistent with the rest of the constructors for kind `#` and so feels like a good idea. It would also let folks consistently use `Solo` for the `data`-based unary tuple if they wanted it in user-space somewhere. e.g. That is an example of something that admits a legal `MonadFail` (unlike `Identity`) but not recovery. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/14673#comment:20 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#14673: Unary Unboxed Tuple Type Constructor -------------------------------------+------------------------------------- Reporter: andrewthad | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: 8.6.1 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 andrewthad): I like `Solo#` as well. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/14673#comment:21 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#14673: Unary Unboxed Tuple Type Constructor -------------------------------------+------------------------------------- Reporter: andrewthad | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: 8.6.1 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 RyanGlScott): +1 on `Solo#`. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/14673#comment:22 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#14673: Unary Unboxed Tuple Type Constructor -------------------------------------+------------------------------------- Reporter: andrewthad | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: 8.6.1 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):
If the CLC elects not to/does not decide on a name, I feel like it should be @simonpj's decision, as the Libraries Mailing List could not decide.
I wrote to the CLC today: https://mail.haskell.org/pipermail/libraries/2018-April/028736.html -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/14673#comment:23 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#14673: Unary Unboxed Tuple Type Constructor -------------------------------------+------------------------------------- Reporter: andrewthad | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: 8.6.1 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): OK the CLC chair Edward Kmett decided `Solo#`: https://mail.haskell.org/pipermail/libraries/2018-April/028740.html Would anyone like to make a patch? -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/14673#comment:24 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#14673: Unary Unboxed Tuple Type Constructor -------------------------------------+------------------------------------- Reporter: andrewthad | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: 8.6.1 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 andrewthad): chessai has a patch here: https://github.com/ghc/ghc/pull/96 I'm going to request that he update it on the github issue tracker. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/14673#comment:25 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#14673: Unary Unboxed Tuple Type Constructor -------------------------------------+------------------------------------- Reporter: andrewthad | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: 8.8.1 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: | -------------------------------------+------------------------------------- Changes (by bgamari): * milestone: 8.6.1 => 8.8.1 Comment: This won't be addressed in GHC 8.6. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/14673#comment:26 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
participants (1)
-
GHC