Mercurial > urweb
annotate demo/batchFun.urs @ 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 | bb3fc575cfe7 |
| children |
| rev | line source |
|---|---|
| adamc@1002 | 1 con colMeta = fn (db :: Type, state :: Type) => |
| adamc@650 | 2 {Nam : string, |
| adamc@1002 | 3 Show : db -> xbody, |
| adamc@1002 | 4 Inject : sql_injectable db, |
| adamc@650 | 5 |
| adamc@1002 | 6 NewState : transaction state, |
| adamc@1002 | 7 Widget : state -> xbody, |
| adamc@1002 | 8 ReadState : state -> transaction db} |
| adamc@650 | 9 con colsMeta = fn cols :: {(Type * Type)} => $(map colMeta cols) |
| adamc@650 | 10 |
| adamc@650 | 11 val int : string -> colMeta (int, source string) |
| adamc@650 | 12 val float : string -> colMeta (float, source string) |
| adamc@650 | 13 val string : string -> colMeta (string, source string) |
| adamc@650 | 14 |
| adamc@650 | 15 functor Make(M : sig |
| adamc@650 | 16 con cols :: {(Type * Type)} |
| adamc@650 | 17 constraint [Id] ~ cols |
| adamc@650 | 18 val fl : folder cols |
| adamc@650 | 19 |
| adamc@706 | 20 table tab : ([Id = int] ++ map fst cols) |
| adamc@650 | 21 |
| adamc@650 | 22 val title : string |
| adamc@650 | 23 |
| adamc@650 | 24 val cols : colsMeta cols |
| adamc@650 | 25 end) : sig |
| adamc@650 | 26 val main : unit -> transaction page |
| adamc@650 | 27 end |