Mercurial > urweb

comparison src/pathcheck.sml @ 2048:4d64af730e35

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Differentiate between HTML and normal string literals
author Adam Chlipala <adam@chlipala.net>
date Fri, 01 Aug 2014 15:44:17 -0400
parents c1e3805e604e
children 25874084bf1f
comparison
equal deleted inserted replaced
2047:6be31671911b 2048:4d64af730e35
86 | EStrcat (e1, e2) => constraints (e2, constraints (e1, rels)) 86 | EStrcat (e1, e2) => constraints (e2, constraints (e1, rels))
87 | _ => rels 87 | _ => rels
88 88
89 val rels = #2 (doRel s) 89 val rels = #2 (doRel s)
90 val rels = case #1 pe of 90 val rels = case #1 pe of
91 EPrim (Prim.String "") => rels 91 EPrim (Prim.String (_, "")) => rels
92 | _ => 92 | _ =>
93 let 93 let
94 val s' = s ^ "_Pkey" 94 val s' = s ^ "_Pkey"
95 in 95 in
96 if SS.member (rels, s') then 96 if SS.member (rels, s') then