[Ur] 'Anonymous function remains' in state monad

[Sergey Mironov]

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 <adamc at csail.mit.edu>:
> 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
> Ur at impredicative.com
> http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
>