Commit 67f8c468 authored by mnislaih's avatar mnislaih

Fixed a bug with the :print command spotted by Bernie Pope.

Test ghci.debugger/scripts/print018 covers this
parent 4abc36e3
......@@ -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
......
......@@ -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
{-
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment