diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2013-04-30 09:50:40 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2013-04-30 09:51:08 +0100 |
| commit | d75ca39b2ff8132dde6eb6aee946d75ba0a3f3ef (patch) | |
| tree | 1737ab4b8aaa865ac9c493c76cb2fcd3a35cd759 | |
| parent | 6d8d0dd94e3216ba2792f1eb9e9e086f188e1c56 (diff) | |
| download | haskell-d75ca39b2ff8132dde6eb6aee946d75ba0a3f3ef.tar.gz | |
Fix comment to placate Haddock
| -rw-r--r-- | compiler/typecheck/TcHsType.lhs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/typecheck/TcHsType.lhs b/compiler/typecheck/TcHsType.lhs index d559f99e03..7bfa518913 100644 --- a/compiler/typecheck/TcHsType.lhs +++ b/compiler/typecheck/TcHsType.lhs @@ -395,7 +395,7 @@ tc_hs_type hs_ty@(HsForAllTy _ hs_tvs context ty) exp_kind tc_lhs_type ty exp_kind -- Why exp_kind? See Note [Body kind of forall] else -- If there is a context, then this forall is really a - -- *function*, so the kind of the result really is * + -- _function_, so the kind of the result really is * -- The body kind (result of the function can be * or #, hence ekOpen do { checkExpectedKind hs_ty liftedTypeKind exp_kind ; tc_lhs_type ty ekOpen } |