Mercurial > urweb

view tests/dynlines.ur @ 2142:3288e3c9948b

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Fix XML indentation in Emacs mode The return value of MATCH-STRING is a string. At least on Emacs 25, the comparisons between string and character with EQUAL could never succeed, and so the cases for matching braces were never triggered. GET-TEXT-PROPERTY may return a list rather than an atom (for example, on long lines with whitespace-mode turned on), and this broke the heuristic of looking for the tag face in previous text.
author Julian Squires <julian@cipht.net>
date Mon, 04 May 2015 14:35:07 -0400
parents 38297294cf98
children
line wrap: on
line source
datatype lines = End | Line of 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 linesS => <xml>X<br/><dyn signal={renderS linesS}/></xml>

and renderS linesS =
    lines <- signal linesS;
    return (renderL lines)

fun render t = renderS t.Head

fun write t =
    oldTail <- get t.Tail;
    newTail <- source End;
    set oldTail (Line newTail);
    set t.Tail newTail

fun main () : transaction page =
    b <- create;

    return <xml><body>
      <button onclick={fn _ => write b}/>
      <dyn signal={render b}/>
    </body></xml>