diff options
Diffstat (limited to 'compiler/typecheck/Inst.hs')
| -rw-r--r-- | compiler/typecheck/Inst.hs | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/compiler/typecheck/Inst.hs b/compiler/typecheck/Inst.hs index defa67b6dd..48dbac0361 100644 --- a/compiler/typecheck/Inst.hs +++ b/compiler/typecheck/Inst.hs @@ -568,7 +568,6 @@ tcInstTyBinder subst (Anon ty) ------------------------------- -- | This takes @a ~# b@ and returns @a ~~ b@. mkHEqBoxTy :: TcCoercion -> Type -> Type -> TcM Type --- monadic just for convenience with mkEqBoxTy mkHEqBoxTy co ty1 ty2 = do { k1 <- tcTypeKindM ty1 ; k2 <- tcTypeKindM ty2 |