wibble
authorpepe <mnislaih@gmail.com>
Fri, 18 Apr 2008 17:23:03 +0000 (17:23 +0000)
committerpepe <mnislaih@gmail.com>
Fri, 18 Apr 2008 17:23:03 +0000 (17:23 +0000)
compiler/ghci/RtClosureInspect.hs

index 54b7b08..6be0633 100644 (file)
@@ -891,6 +891,6 @@ zonkTerm = foldTerm idTermFoldM {
 -- Is this defined elsewhere?
 -- Generalize the type: find all free tyvars and wrap in the appropiate ForAll.
 sigmaType :: Type -> Type
-sigmaType ty = mkForAllTys (varSetElems$ tyVarsOfType (dropForAlls ty)) ty
+sigmaType ty = mkSigmaTy (varSetElems$ tyVarsOfType (dropForAlls ty)) [] ty