> You can probably use the GHC & Hugs extension of pattern type signatures:
>
> inEnv (e::env) ma = Cont (\k ->
> do old <- rdEnv
> inEnv e (unCont ma (inEnv (old::env) . k)))
>
> I haven't checked this.
Or of course he can use `asTypeOf`, which is Haskell 98:
inEnv e (unCont ma (inEnv (old `asTypeOf` e) . k)))
--KW 8-)
--
: Keith Wansbrough, MSc, BSc(Hons) (Auckland) -------------------:
: PhD Student, Computer Laboratory, University of Cambridge, UK. :
: Native of Antipodean Auckland, New Zealand: 174d47'E, 36d55'S. :
: http://www.cl.cam.ac.uk/users/kw217/ mailto:[EMAIL PROTECTED] :
:----------------------------------------------------------------:
