[commit: ghc] wip/type-app: Instantiate scrutinees. (ec34019)

[git at git.haskell.org]

Repository : ssh://git@git.haskell.org/ghc

On branch  : wip/type-app
Link       : http://ghc.haskell.org/trac/ghc/changeset/ec3401941ebc47b6906061df3a3f8bd7a888d07f/ghc

>---------------------------------------------------------------

commit ec3401941ebc47b6906061df3a3f8bd7a888d07f
Author: Richard Eisenberg <eir at cis.upenn.edu>
Date:   Wed Jul 29 15:49:39 2015 -0400

    Instantiate scrutinees.


>---------------------------------------------------------------

ec3401941ebc47b6906061df3a3f8bd7a888d07f
 compiler/typecheck/TcExpr.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/compiler/typecheck/TcExpr.hs b/compiler/typecheck/TcExpr.hs
index d93f5ba..83919fe 100644
--- a/compiler/typecheck/TcExpr.hs
+++ b/compiler/typecheck/TcExpr.hs
@@ -444,7 +444,7 @@ tcExpr (HsCase scrut matches) exp_ty
            --
            -- But now, in the GADT world, we need to typecheck the scrutinee
            -- first, to get type info that may be refined in the case alternatives
-          (scrut', scrut_ty) <- tcInferSigma scrut
+          (scrut', scrut_ty) <- tcInferRho scrut
 
         ; traceTc "HsCase" (ppr scrut_ty)
         ; (wrap, matches') <- tcMatchesCase match_ctxt scrut_ty matches exp_ty