On Mon, May 21, 2007 at 02:08:13PM +0100, Matthew Sackman wrote:
> Further, it is *impossible* to define mkTS'' for the extra
^^^^ -- should be mkOS''
But actually, in that code, the data declaration was never even used
either - all that is needed is:
instance (OneStep'' a) => OneStep'' (OS'' a)
But it does rather leave a mess in the code.
Matthew
--
Matthew Sackman
http://www.wellquite.org/
_______________________________________________
Haskell-Cafe mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/haskell-cafe
