X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2Fghci%2FRtClosureInspect.hs;h=7a6dee5b0dd06f6b101c5578c1a29bada7e683f2;hb=67f8c4685920582ad82000e7840a1ffe91682f35;hp=f653de64e5c0beca1558feb5a2fd55e7a64e0b67;hpb=4abc36e3599a9ce067926c8c9e4d696384206997;p=ghc-hetmet.git diff --git a/compiler/ghci/RtClosureInspect.hs b/compiler/ghci/RtClosureInspect.hs index f653de6..7a6dee5 100644 --- a/compiler/ghci/RtClosureInspect.hs +++ b/compiler/ghci/RtClosureInspect.hs @@ -39,8 +39,6 @@ module RtClosureInspect( isPointed, isFullyEvaluatedTerm, -- unsafeDeepSeq, - - sigmaType ) where #include "HsVersions.h" @@ -571,7 +569,7 @@ zonkTerm = foldTerm idTermFoldM { -- Is this defined elsewhere? --- Find all free tyvars and insert the appropiate ForAll. +-- Generalize the type: find all free tyvars and wrap in the appropiate ForAll. sigmaType ty = mkForAllTys (varSetElems$ tyVarsOfType (dropForAlls ty)) ty {-