diff options
| author | Alexander Vershilov <alexander.vershilov@gmail.com> | 2015-03-07 11:13:12 -0600 |
|---|---|---|
| committer | Austin Seipp <austin@well-typed.com> | 2015-03-07 11:13:12 -0600 |
| commit | 76b1e11943d794da61d342c072a783862a9e2a1a (patch) | |
| tree | 832360e9f2498e4a66403458a4b33376b240aa7b /testsuite/tests/callarity | |
| parent | 504d8a4b183670830093a81d3c7a6d78416aed20 (diff) | |
| download | haskell-76b1e11943d794da61d342c072a783862a9e2a1a.tar.gz | |
Improve core linter so it catches unsafeCoerce problems (T9122)
Summary:
This is a draft of the patch that is sent for review.
In this patch required changes in linter were introduced
and actual check:
- new helper function: primRepSizeB
- primRep check for floating
- Add access to dynamic flags in linter.
- Implement additional lint rules.
Reviewers: austin, goldfire, simonpj
Reviewed By: simonpj
Subscribers: thomie
Differential Revision: https://phabricator.haskell.org/D637
GHC Trac Issues: #9122
Diffstat (limited to 'testsuite/tests/callarity')
| -rw-r--r-- | testsuite/tests/callarity/unittest/CallArity1.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/testsuite/tests/callarity/unittest/CallArity1.hs b/testsuite/tests/callarity/unittest/CallArity1.hs index dbcac513a1..a92a73b4f2 100644 --- a/testsuite/tests/callarity/unittest/CallArity1.hs +++ b/testsuite/tests/callarity/unittest/CallArity1.hs @@ -162,7 +162,7 @@ main = do getSessionDynFlags >>= setSessionDynFlags . flip gopt_set Opt_SuppressUniques dflags <- getSessionDynFlags liftIO $ forM_ exprs $ \(n,e) -> do - case lintExpr [f,scrut] e of + case lintExpr dflags [f,scrut] e of Just msg -> putMsg dflags (msg $$ text "in" <+> text n) Nothing -> return () putMsg dflags (text n <> char ':') |