diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2013-01-22 17:01:30 +0000 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2013-01-22 17:01:30 +0000 |
| commit | 2cc42dbb6ff09f4105fe44fe1afe9ac08a140d44 (patch) | |
| tree | feb5cf29e0b2664b9b9d2abc55cca64d79d53322 /compiler/main/InteractiveEval.hs | |
| parent | 2ec39c76b9816f76f60076fb52c8038035cd1f7b (diff) | |
| download | haskell-2cc42dbb6ff09f4105fe44fe1afe9ac08a140d44.tar.gz | |
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
Diffstat (limited to 'compiler/main/InteractiveEval.hs')
| -rw-r--r-- | compiler/main/InteractiveEval.hs | 1 |
1 files changed, 1 insertions, 0 deletions
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 |