[GHC] #9097: Change GHC.Exts.Any to a type family
GHC
ghc-devs at haskell.org
Wed Jun 11 13:54:57 UTC 2014
#9097: Change GHC.Exts.Any to a type family
-------------------------------------------------+-------------------------
Reporter: goldfire | Owner:
Type: task | goldfire
Priority: high | Status:
Component: Compiler | closed
Resolution: fixed | Milestone:
Operating System: Unknown/Multiple | 7.10.1
Type of failure: None/Unknown | Version: 7.8.2
Test Case: indexed- | Keywords:
types/should_fail/T9097 | Architecture:
Blocking: | Unknown/Multiple
| Difficulty:
| Unknown
| Blocked By:
| Related Tickets:
-------------------------------------------------+-------------------------
Comment (by simonpj):
Richard: excellent, thank you. But could you add some comments with the
defn of `Any` that explain the subtleties. There is a very good reason
why `Any` should be a type family, and this should be noted (with a
pointer to this ticket). And there was a very good reason that it
initially was a data type, and this too might be worth noting. The diffs
don't seem to cover these points unless I'm mis-reading.
thanks
Simon
--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9097#comment:7>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
More information about the ghc-tickets
mailing list