Mercurial > urweb
comparison tests/buffer.ur @ 728:2197f0e24a9f
Avoid thread death via message receive
| author | Adam Chlipala <adamc@hcoop.net> |
|---|---|
| date | Thu, 16 Apr 2009 13:00:40 -0400 |
| parents | |
| children |
comparison
equal
deleted
inserted
replaced
| 727:ba4c230b7231 | 728:2197f0e24a9f |
|---|---|
| 1 datatype lines = End | Line of string * source lines | |
| 2 | |
| 3 type t = { Head : source lines, Tail : source (source lines) } | |
| 4 | |
| 5 val create = | |
| 6 head <- source End; | |
| 7 tail <- source head; | |
| 8 return {Head = head, Tail = tail} | |
| 9 | |
| 10 fun renderL lines = | |
| 11 case lines of | |
| 12 End => <xml/> | |
| 13 | Line (line, linesS) => <xml>{[line]}<br/><dyn signal={renderS linesS}/></xml> | |
| 14 | |
| 15 and renderS linesS = | |
| 16 lines <- signal linesS; | |
| 17 return (renderL lines) | |
| 18 | |
| 19 fun render t = renderS t.Head | |
| 20 | |
| 21 fun write t s = | |
| 22 oldTail <- get t.Tail; | |
| 23 newTail <- source End; | |
| 24 set oldTail (Line (s, newTail)); | |
| 25 set t.Tail newTail |