Skip to content

Commit

Permalink
Merge pull request #146 from haskell-hint/issue-145/typeChecks-doc-bug
Browse files Browse the repository at this point in the history
fix typeChecks documentation
  • Loading branch information
gelisam authored Mar 6, 2022
2 parents 77a7211 + 0bd9841 commit 090ee37
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions src/Hint/Typecheck.hs
Original file line number Diff line number Diff line change
Expand Up @@ -23,8 +23,8 @@ typeOf expr =

-- | Tests if the expression type checks.
--
-- NB. Be careful if there is `-fdefer-type-errors` involved.
-- Perhaps unsurprisingly, that can falsely make @typeChecks@ and @getType@
-- NB. Be careful if @unsafeSetGhcOption "-fdefer-type-errors"@ is used.
-- Perhaps unsurprisingly, that can falsely make @typeChecks@ and @typeChecksWithDetails@
-- return @True@ and @Right _@ respectively.
typeChecks :: MonadInterpreter m => String -> m Bool
typeChecks expr = (True <$ typeOf expr)
Expand Down

0 comments on commit 090ee37

Please sign in to comment.