Commit 650f62a5 authored by simonpj@microsoft.com's avatar simonpj@microsoft.com
Browse files

Comments only

parent 221859f1
...@@ -1780,6 +1780,10 @@ unifyFunKind other = returnM Nothing ...@@ -1780,6 +1780,10 @@ unifyFunKind other = returnM Nothing
checkExpectedKind :: Outputable a => a -> TcKind -> TcKind -> TcM () checkExpectedKind :: Outputable a => a -> TcKind -> TcKind -> TcM ()
-- A fancy wrapper for 'unifyKind', which tries -- A fancy wrapper for 'unifyKind', which tries
-- to give decent error messages. -- to give decent error messages.
-- (checkExpectedKind ty act_kind exp_kind)
-- checks that the actual kind act_kind is compatible
-- with the expected kind exp_kind
-- The first argument, ty, is used only in the error message generation
checkExpectedKind ty act_kind exp_kind checkExpectedKind ty act_kind exp_kind
| act_kind `isSubKind` exp_kind -- Short cut for a very common case | act_kind `isSubKind` exp_kind -- Short cut for a very common case
= returnM () = returnM ()
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment