On 24 August 2011 14:13, Adam Chlipala <[email protected]> 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 _______________________________________________ Ur mailing list [email protected] http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
