[Ur] typing bind

[Gergely Buday]

On 24 August 2011 14:13, Adam Chlipala <adamc at impredicative.com> wrote:

>> But what can I do when there are more non-<- lines at the end, like
>>
>> fun write t s =
>>     oldTail<- get t.Tail;
>>     newTail<- source End;
>>     set oldTail (Line (s, newTail));
>>     set t.Tail newTail
>>
>
> The syntax [e1; e2] is sugar for [bind e1 (fn () => e2)].  I hope that
> answers the question.

Indeed. Thanks.

- Gergely