diff options
Diffstat (limited to 'compiler/GHC/Tc/Gen/Splice.hs')
| -rw-r--r-- | compiler/GHC/Tc/Gen/Splice.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/compiler/GHC/Tc/Gen/Splice.hs b/compiler/GHC/Tc/Gen/Splice.hs index 47d19c127b..e7a45a5be9 100644 --- a/compiler/GHC/Tc/Gen/Splice.hs +++ b/compiler/GHC/Tc/Gen/Splice.hs @@ -2641,8 +2641,8 @@ reifyTypes = mapM reifyType reifyPatSynType :: ([InvisTVBinder], ThetaType, [InvisTVBinder], ThetaType, [Scaled Type], Type) -> TcM TH.Type -- reifies a pattern synonym's type and returns its *complete* type --- signature; see NOTE [Pattern synonym signatures and Template --- Haskell] +-- signature; see Note [Pattern synonym type signatures and Template +-- Haskell] in GHC.ThToHs reifyPatSynType (univTyVars, req, exTyVars, prov, argTys, resTy) = do { univTyVars' <- reifyTyVarBndrs univTyVars ; req' <- reifyCxt req |