From 18b7332e738d4b97bf3bb9dfa6600277222aab33 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sun, 5 Apr 2009 10:48:11 -0400
Subject: Threads demo

---
 demo/buffer.ur | 25 +++++++++++++++++++++++++
 1 file changed, 25 insertions(+)
 create mode 100644 demo/buffer.ur

(limited to 'demo/buffer.ur')

diff --git a/demo/buffer.ur b/demo/buffer.ur
new file mode 100644
index 00000000..27e2b805
--- /dev/null
+++ b/demo/buffer.ur
@@ -0,0 +1,25 @@
+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
-- 
cgit v1.2.3