On 18.08.2011 15:57, Gergely Buday wrote:
src<- source 0 ; return<xml> is a shorthand for
bind (source 0) (fn src => return xml) whose type is
(m t1 -> (t1 -> m t2) -> m t2) (source int) (int -> transaction xml) =
transaction xml
and, src has type int.
source 0, which is given as the first argument to bind, has the type
transaction (source int),
so in this case m is transaction and t1 is source int, so the second
argument to bind must have
the type (source int -> transaction t2) (where in this case t2 would be
xml).
So the type of src is source int, not int.
HTH,
Sebastian
_______________________________________________
Ur mailing list
[email protected]
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
