X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2Fghci%2FDebugger.hs;h=19a9e999ae70808d650b8bd1396bcc2bfca300cb;hb=67f8c4685920582ad82000e7840a1ffe91682f35;hp=b5c30d6202f5936f3d1bd8662ff8c3fc3c513777;hpb=4abc36e3599a9ce067926c8c9e4d696384206997;p=ghc-hetmet.git diff --git a/compiler/ghci/Debugger.hs b/compiler/ghci/Debugger.hs index b5c30d6..19a9e99 100644 --- a/compiler/ghci/Debugger.hs +++ b/compiler/ghci/Debugger.hs @@ -265,7 +265,7 @@ instantiateTyVarsToUnknown cms ty -- | The inverse function. Strip the GHC.Base.Unknowns in the type of the id, they correspond to tyvars. The caller must provide an infinite list of fresh names stripUnknowns :: [Name] -> Id -> Id -stripUnknowns names id = setIdType id . sigmaType . fst . go names . idType +stripUnknowns names id = setIdType id . fst . go names . idType $ id where go tyvarsNames@(v:vv) ty