Aaa, that is right! Test4 is correct now, I've committed the working version.
Thanks! Sergey 2014-08-16 18:59 GMT+04:00 Adam Chlipala <[email protected]>: > Sorry; my answer is just suggesting doing something standard in ML module > systems, but of course not everyone is already familiar with such systems! > > I only suggested changing, in the output signature of your functor, the line > > datatype state st a = State of (st -> S.m (st * a)) > to > con state :: Type -> Type -> Type > > It was actually a mistake on my part to refer to [monad_state]. > > _______________________________________________ > Ur mailing list > [email protected] > http://www.impredicative.com/cgi-bin/mailman/listinfo/ur > _______________________________________________ Ur mailing list [email protected] http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
