Mercurial > urweb
comparison src/pathcheck.sml @ 2048:4d64af730e35
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 |