diff options
| author | Ben Gamari <ben@smart-cactus.org> | 2019-12-29 23:46:52 -0500 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2020-02-20 21:56:13 -0500 |
| commit | 89cb4cc4cc76f834b0bcc53fb551db706ef143b7 (patch) | |
| tree | c1d16f85237abfa8ed866a17853a74367f065fca /compiler/GHC/Cmm/Dataflow.hs | |
| parent | c5ec996583373025488c090fb2c89f7bda38c1cb (diff) | |
| download | haskell-89cb4cc4cc76f834b0bcc53fb551db706ef143b7.tar.gz | |
Use Type instead of * in GHC
Diffstat (limited to 'compiler/GHC/Cmm/Dataflow.hs')
| -rw-r--r-- | compiler/GHC/Cmm/Dataflow.hs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/compiler/GHC/Cmm/Dataflow.hs b/compiler/GHC/Cmm/Dataflow.hs index fcabb1df0f..4f900c32ac 100644 --- a/compiler/GHC/Cmm/Dataflow.hs +++ b/compiler/GHC/Cmm/Dataflow.hs @@ -43,13 +43,14 @@ import Data.Array import Data.Maybe import Data.IntSet (IntSet) import qualified Data.IntSet as IntSet +import Data.Kind (Type) import GHC.Cmm.Dataflow.Block import GHC.Cmm.Dataflow.Graph import GHC.Cmm.Dataflow.Collections import GHC.Cmm.Dataflow.Label -type family Fact (x :: Extensibility) f :: * +type family Fact (x :: Extensibility) f :: Type type instance Fact C f = FactBase f type instance Fact O f = f |