[project @ 1999-11-02 16:12:18 by simonpj]
authorsimonpj <unknown>
Tue, 2 Nov 1999 16:12:18 +0000 (16:12 +0000)
committersimonpj <unknown>
Tue, 2 Nov 1999 16:12:18 +0000 (16:12 +0000)
Identify common sub-expression in Search.ask

spectral/expert/Search.hs

index 7bf7e9c..64c91ed 100644 (file)
@@ -84,6 +84,12 @@ try db (Soln env vs) g (Term "if" [p,newg]) =
 -- answer.
 
 ask info (Soln env vs) g =
-   Question (showPhrase (subst env g)) :
+   Question sp :
    if ans then [Soln env vs] else [] where
-   ans = answer (find info (showPhrase (subst env g)))
+   ans = answer (find info sp)
+   sp  = showPhrase (subst env g)
+       -- SLPJ Nov 99
+       -- I've hauled out sp as a common sub expression; it was
+       -- duplicated before.  If we don't haul it out, it's a matter
+       -- of chance whether GHC spots it or not, and that makes the
+       -- numbers wobble around a lot.