projects
/
ghc-hetmet.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
Correct crucial typo in isSubKind (kc1 -> kc2)!
[ghc-hetmet.git]
/
compiler
/
typecheck
/
TcArrows.lhs
diff --git
a/compiler/typecheck/TcArrows.lhs
b/compiler/typecheck/TcArrows.lhs
index
b4afcaf
..
2316162
100644
(file)
--- a/
compiler/typecheck/TcArrows.lhs
+++ b/
compiler/typecheck/TcArrows.lhs
@@
-264,7
+264,7
@@
tc_cmd env cmd@(HsArrForm expr fixity cmd_args) (cmd_stk, res_ty)
-- the s1..sm and check each cmd
; cmds' <- mapM (tc_cmd w_tv) cmds_w_tys
- ; returnM (HsArrForm (noLoc $ HsCoerce (CoTyLams [w_tv])
+ ; returnM (HsArrForm (noLoc $ HsCoerce (CoTyLam w_tv)
(unLoc $ mkHsDictLet inst_binds expr'))
fixity cmds')
}