diff options
Diffstat (limited to 'compiler/cmm/Hoopl/Dataflow.hs')
-rw-r--r-- | compiler/cmm/Hoopl/Dataflow.hs | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/compiler/cmm/Hoopl/Dataflow.hs b/compiler/cmm/Hoopl/Dataflow.hs index bf12b3f6a1..2a2bb72dcc 100644 --- a/compiler/cmm/Hoopl/Dataflow.hs +++ b/compiler/cmm/Hoopl/Dataflow.hs @@ -1,9 +1,11 @@ {-# LANGUAGE BangPatterns #-} +{-# LANGUAGE DataKinds #-} {-# LANGUAGE GADTs #-} {-# LANGUAGE MultiParamTypeClasses #-} {-# LANGUAGE RankNTypes #-} {-# LANGUAGE ScopedTypeVariables #-} {-# LANGUAGE TypeFamilies #-} + {-# OPTIONS_GHC -fprof-auto-top #-} -- @@ -49,7 +51,7 @@ import Hoopl.Graph import Hoopl.Collections import Hoopl.Label -type family Fact x f :: * +type family Fact (x :: Extensibility) f :: * type instance Fact C f = FactBase f type instance Fact O f = f |