From 2cc42dbb6ff09f4105fe44fe1afe9ac08a140d44 Mon Sep 17 00:00:00 2001 From: Simon Peyton Jones Date: Tue, 22 Jan 2013 17:01:30 +0000 Subject: When printing types in the interactive UI, take account of free variables Often the types we print are full-generalised, but in fact *kinds* are not, so we need to use tidyOpenType. Fixes Trac #7587 --- compiler/main/InteractiveEval.hs | 1 + 1 file changed, 1 insertion(+) (limited to 'compiler/main/InteractiveEval.hs') diff --git a/compiler/main/InteractiveEval.hs b/compiler/main/InteractiveEval.hs index 7fa156aec3..8d64900c71 100644 --- a/compiler/main/InteractiveEval.hs +++ b/compiler/main/InteractiveEval.hs @@ -972,6 +972,7 @@ parseName str = withSession $ \hsc_env -> do -- Getting the type of an expression -- | Get the type of an expression +-- Returns its most general type exprType :: GhcMonad m => String -> m Type exprType expr = withSession $ \hsc_env -> do ty <- liftIO $ hscTcExpr hsc_env expr -- cgit v1.2.1