view tests/tail.ur @ 2142:3288e3c9948b

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 d80734855790
children
line wrap: on
line source
fun one () = return 1

fun addEm n =
    if n = 0 then
        return 0
    else
        n1 <- rpc (one ());
        n2 <- addEm (n - 1);
        return (n1 + n2)

fun addEm' n acc =
    if n = 0 then
        return acc
    else
        n1 <- rpc (one ());
        addEm' (n - 1) (n1 + acc)

fun main () =
    s <- source 0;
    s' <- source 0;
    return <xml><body onload={n <- addEm 3; set s n; n <- addEm' 4 0; set s' n; alert "Welcome!"}>
      <dyn signal={n <- signal s; return (txt n)}/>
      <dyn signal={n <- signal s'; return (txt n)}/>
    </body></xml>