Mercurial > urweb
view tests/buffer.ur @ 1455:913d9c2f55c9
Corify Basis.unit to empty record; this is needed so that specialize
can see that they are equivalent.
author | Karn Kallio <kkallio@eka> |
---|---|
date | Fri, 06 May 2011 16:24:45 -0430 |
parents | 2197f0e24a9f |
children |
line wrap: on
line source
datatype lines = End | Line of string * source lines type t = { Head : source lines, Tail : source (source lines) } val create = head <- source End; tail <- source head; return {Head = head, Tail = tail} fun renderL lines = case lines of End => <xml/> | Line (line, linesS) => <xml>{[line]}<br/><dyn signal={renderS linesS}/></xml> and renderS linesS = lines <- signal linesS; return (renderL lines) fun render t = renderS t.Head fun write t s = oldTail <- get t.Tail; newTail <- source End; set oldTail (Line (s, newTail)); set t.Tail newTail