X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;ds=sidebyside;f=compiler%2Fghci%2FInteractiveUI.hs;h=bea11bf646e208dbb540f6725a415718c7b25ec7;hb=a27d12f02b8ab3a3222c351dcf7e9168dfe05fb0;hp=dffae162d9124eddcdbd9cbcebaa8c2e37610c54;hpb=3f925833681ee2ecd54b26e473c5b4ac1efbd837;p=ghc-hetmet.git

diff --git a/compiler/ghci/InteractiveUI.hs b/compiler/ghci/InteractiveUI.hs
index dffae16..bea11bf 100644
--- a/compiler/ghci/InteractiveUI.hs
+++ b/compiler/ghci/InteractiveUI.hs
@@ -601,7 +601,7 @@ afterRunStmt pred run_result = do
               tythings <- catMaybes `liftM` 
                               io (mapM (GHC.lookupName session) names)
               docs_ty  <- mapM showTyThing tythings
-              terms    <- mapM (io . GHC.obtainTerm session False)
+              terms    <- mapM (io . GHC.obtainTermB session 10 False)
                                [ id | (AnId id, Just _) <- zip tythings docs_ty]
               docs_terms <- mapM (io . showTerm session) terms                                   
               printForUser $ vcat $ zipWith (\ty cts -> ty <> text " = " <> cts)