diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2016-04-05 13:44:21 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2016-04-05 13:45:22 +0100 |
| commit | 2f3b8039e43bd1e2ce7d5af166301441e25b40c4 (patch) | |
| tree | fe8def6eccc735e47e0e787637156616dec25113 | |
| parent | 7407a66d5bd29aa011f5a4228c6e2b2f7f8ad3f8 (diff) | |
| download | haskell-2f3b8039e43bd1e2ce7d5af166301441e25b40c4.tar.gz | |
Use exprCtOrigin in tcRnExpr
Richard suggested this, a good idea
| -rw-r--r-- | compiler/typecheck/TcRnDriver.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/typecheck/TcRnDriver.hs b/compiler/typecheck/TcRnDriver.hs index 640d74dfc8..952e4ebfca 100644 --- a/compiler/typecheck/TcRnDriver.hs +++ b/compiler/typecheck/TcRnDriver.hs @@ -1979,7 +1979,7 @@ tcRnExpr hsc_env rdr_expr -- it might have a rank-2 type (e.g. :t runST) uniq <- newUnique ; let { fresh_it = itName uniq (getLoc rdr_expr) - ; orig = OccurrenceOf fresh_it } ; -- Not a very satisfactory origin + ; orig = exprCtOrigin (unLoc rn_expr) } ; (tclvl, lie, res_ty) <- pushLevelAndCaptureConstraints $ do { (_tc_expr, expr_ty) <- tcInferSigma rn_expr |