diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2014-07-29 22:01:59 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2014-07-31 08:57:57 +0100 |
| commit | ab8f2544ac2fe5fac0b482ab6da3eef004f4e6f5 (patch) | |
| tree | e9cd87495f43b3c6cda6c08cdb7d69d424a0c600 | |
| parent | da70f9ef49a545707dc32db9662441b9c8845fba (diff) | |
| download | haskell-ab8f2544ac2fe5fac0b482ab6da3eef004f4e6f5.tar.gz | |
Comments and white space
| -rw-r--r-- | compiler/typecheck/TcSMonad.lhs | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/compiler/typecheck/TcSMonad.lhs b/compiler/typecheck/TcSMonad.lhs index 9b73fe6e59..9891f77795 100644 --- a/compiler/typecheck/TcSMonad.lhs +++ b/compiler/typecheck/TcSMonad.lhs @@ -1281,8 +1281,7 @@ getUntouchables = wrapTcS TcM.getUntouchables getGivenInfo :: TcS a -> TcS (Bool, [TcTyVar], a) -- See Note [inert_fsks and inert_no_eqs] getGivenInfo thing_inside - = do { - ; updInertTcS reset_vars -- Set inert_fsks and inert_no_eqs to initial values + = do { updInertTcS reset_vars -- Set inert_fsks and inert_no_eqs to initial values ; res <- thing_inside -- Run thing_inside ; is <- getTcSInerts -- Get new values of inert_fsks and inert_no_eqs ; return (inert_no_eqs (inert_cans is), inert_fsks is, res) } @@ -1716,7 +1715,7 @@ as an Irreducible (see Note [Equalities with incompatible kinds] in TcCanonical), and will do no harm. \begin{code} -xCtEvidence :: CtEvidence -- Original flavor +xCtEvidence :: CtEvidence -- Original evidence -> XEvTerm -- Instructions about how to manipulate evidence -> TcS [CtEvidence] |