diff options
Diffstat (limited to 'compiler/GHC/Hs/Expr.hs')
| -rw-r--r-- | compiler/GHC/Hs/Expr.hs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/compiler/GHC/Hs/Expr.hs b/compiler/GHC/Hs/Expr.hs index 9f97fc9ff7..a84bc1b240 100644 --- a/compiler/GHC/Hs/Expr.hs +++ b/compiler/GHC/Hs/Expr.hs @@ -54,6 +54,7 @@ import {-# SOURCE #-} TcRnTypes (TcLclEnv) -- libraries: import Data.Data hiding (Fixity(..)) import qualified Data.Data as Data (Fixity(..)) +import qualified Data.Kind import Data.Maybe (isNothing) import GHCi.RemoteTypes ( ForeignRef ) @@ -129,7 +130,7 @@ type family SyntaxExpr p -- noSyntaxExpr would be ambiguous. type instance SyntaxExpr (GhcPass p) = SyntaxExprGhc p -type family SyntaxExprGhc (p :: Pass) = (r :: *) | r -> p where +type family SyntaxExprGhc (p :: Pass) = (r :: Data.Kind.Type) | r -> p where SyntaxExprGhc 'Parsed = NoExtField SyntaxExprGhc 'Renamed = SyntaxExprRn SyntaxExprGhc 'Typechecked = SyntaxExprTc |