[Ur] typing bind

[Sebastian Hungerecker]

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