comparison src/pathcheck.sml @ 2211:ef766ef6e242

Merge.
author Ziv Scully <ziv@mit.edu>
date Sat, 13 Sep 2014 19:16:07 -0400
parents 4d64af730e35
children 25874084bf1f
comparison
equal deleted inserted replaced
2210:69c0f36255cb 2211:ef766ef6e242
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