diff options
| author | Richard Eisenberg <rae@cs.brynmawr.edu> | 2018-10-29 12:15:58 -0400 |
|---|---|---|
| committer | Richard Eisenberg <rae@cs.brynmawr.edu> | 2018-10-29 12:23:17 -0400 |
| commit | 09740d50e74ac93a0309544a62e9efc52b27adff (patch) | |
| tree | 73e5a54582dbd54fba0b3efb4b240a2c4d1e09ca /compiler/main/HscMain.hs | |
| parent | 2adffd854effc0708b9fb268749aceaf3c20a169 (diff) | |
| download | haskell-09740d50e74ac93a0309544a62e9efc52b27adff.tar.gz | |
Revert "Remove kind generalisation from tcRnType"
This reverts commit 3a51abd04432ea3d13e4ea3c5a592f038bd57432.
I had hit the wrong button when trying to validate the original
commit... and ended up committing it prematurely instead.
This reversion commit
also updates the comments to explain why we kind-generalise.
Diffstat (limited to 'compiler/main/HscMain.hs')
| -rw-r--r-- | compiler/main/HscMain.hs | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/compiler/main/HscMain.hs b/compiler/main/HscMain.hs index 77bcd76915..9dd750736a 100644 --- a/compiler/main/HscMain.hs +++ b/compiler/main/HscMain.hs @@ -1693,8 +1693,7 @@ hscTcExpr hsc_env0 mode expr = runInteractiveHsc hsc_env0 $ do parsed_expr <- hscParseExpr expr ioMsgMaybe $ tcRnExpr hsc_env mode parsed_expr --- | Find the kind of a type --- Currently this does *not* generalise the kinds of the type +-- | Find the kind of a type, after generalisation hscKcType :: HscEnv -> Bool -- ^ Normalise the type |