Mercurial > urweb
view tests/tags.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 | 884673e5f7d5 |
children |
line wrap: on
line source
table images : { Id : int, Content : blob } table tags : { Id : int, Tag : string } datatype mode = Present | Absent type condition = { Tag : string, Mode : mode } type tag_query = sql_query [] [] [] [Id = int] fun addCondition (c : condition) (q : tag_query) : tag_query = case c.Mode of Present => (SELECT I.Id AS Id FROM ({{q}}) AS I JOIN tags ON tags.Id = I.Id AND tags.Tag = {[c.Tag]}) | Absent => (SELECT I.Id AS Id FROM ({{q}}) AS I LEFT JOIN tags ON tags.Id = I.Id AND tags.Tag = {[c.Tag]} WHERE tags.Tag IS NULL) fun withConditions (cs : list condition) : tag_query = List.foldl addCondition (SELECT images.Id AS Id FROM images) cs fun main (cs : list condition) : transaction page = x <- queryX (withConditions cs) (fn r => <xml><li>{[r.Id]}</li></xml>); return <xml><body> {x} </body></xml>