Mercurial > urweb
view tests/modules.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 | 71bafe66dbe1 |
children |
line wrap: on
line source
signature A = sig end structure A = struct end structure Ao : A = A structure B = struct type t = int end structure Bo0 : sig end = B structure BoA : A = B signature B1 = sig type t end structure Bo1 : B1 = B (*structure AoB1 : B1 = A*) signature B2 = sig type t = int end structure Bo2 : B2 = B structure C = struct type t = float end structure CoB1 : B1 = C (*structure CoB2 : B2 = C*) signature NAT = sig type t val zero : t end structure Nat : NAT = struct type t = int val zero = 0 end (*structure NotNat : NAT = struct type t = int val zero = 0.0 end*) (*structure NotNat : NAT = struct val zero = 0 end*) signature WOBBLE = sig type t type s end structure Wobble1 = struct type t = int type s = float end structure Wobble2 = struct type s = int type t = float end structure N = struct type t = string structure N2 = struct type t = int val zero = 0 end val x = "Hi" end signature N = sig structure N2 : NAT type t val x : t end structure No : N = N