%
-% (c) The GRASP/AQUA Project, Glasgow University, 1992-1995
+% (c) The GRASP/AQUA Project, Glasgow University, 1992-1996
%
%************************************************************************
%* *
%* *
%************************************************************************
+96/03: We aren't using the static-argument transformation right now.
+
May be seen as removing invariants from loops:
Arguments of recursive functions that do not change in recursive
calls are removed from the recursion, which is done locally
\begin{code}
#include "HsVersions.h"
-module SAT (
- doStaticArgs
+module SAT ( doStaticArgs ) where
+
+import Ubiq{-uitous-}
+import Util ( panic )
- -- and to make the interface self-sufficient...
- ) where
+doStaticArgs = panic "SAT.doStaticArgs (ToDo)"
+
+{- LATER: to end of file:
import Maybes ( Maybe(..) )
import SATMonad
get e
= satExpr e `thenSAT` \ e2 ->
returnSAT (e2, Nothing)
+-}
\end{code}
-