diff options
| author | Ben Gamari <bgamari.foss@gmail.com> | 2016-03-30 21:58:24 +0200 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2016-03-30 22:49:06 +0200 |
| commit | 24d761531cfc18152598becc0aeb90376fd19198 (patch) | |
| tree | 93d6ee4f711c48f32d6fc6d45f2afb97cbc4275e /compiler/specialise | |
| parent | bc953fcdbc76ffbb4f06a2b74be271268f73328f (diff) | |
| download | haskell-24d761531cfc18152598becc0aeb90376fd19198.tar.gz | |
Kill the magic of Any
This turns `Any` into a standard wired-in type family defined in
`GHC.Types`, instead its current incarnation as a magical creature
provided by the `GHC.Prim`. Also kill `AnyK`.
See #10886.
Test Plan: Validate
Reviewers: simonpj, goldfire, austin, hvr
Reviewed By: simonpj
Subscribers: goldfire, thomie
Differential Revision: https://phabricator.haskell.org/D2049
GHC Trac Issues: #10886
Diffstat (limited to 'compiler/specialise')
| -rw-r--r-- | compiler/specialise/Rules.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/specialise/Rules.hs b/compiler/specialise/Rules.hs index fbae186915..24b52d3db7 100644 --- a/compiler/specialise/Rules.hs +++ b/compiler/specialise/Rules.hs @@ -39,7 +39,7 @@ import CoreUtils ( exprType, eqExpr, mkTick, mkTicks, import PprCore ( pprRules ) import Type ( Type, substTy, mkTCvSubst ) import TcType ( tcSplitTyConApp_maybe ) -import TysPrim ( anyTypeOfKind ) +import TysWiredIn ( anyTypeOfKind ) import Coercion import CoreTidy ( tidyRules ) import Id |