Mercurial > urweb

comparison src/pathcheck.sml @ 609:56aaa1941dad

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
First gimpy RPC
author Adam Chlipala <adamc@hcoop.net>
date Sun, 15 Feb 2009 10:32:50 -0500
parents 78358e5df273
children 70cbdcf5989b
comparison
equal deleted inserted replaced
608:330a7de47914 609:56aaa1941dad
44 else 44 else
45 (); 45 ();
46 (funcs, SS.add (rels, s))) 46 (funcs, SS.add (rels, s)))
47 in 47 in
48 case d of 48 case d of
49 DExport (_, s, _, _) => 49 DExport (_, s, _, _, _) =>
50 (if SS.member (funcs, s) then 50 (if SS.member (funcs, s) then
51 E.errorAt loc ("Duplicate function path " ^ s) 51 E.errorAt loc ("Duplicate function path " ^ s)
52 else 52 else
53 (); 53 ();
54 (SS.add (funcs, s), rels)) 54 (SS.add (funcs, s), rels))