Mercurial > urweb

comparison src/elaborate.sml @ 712:915ec60592d4

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
More flexible foreign keying
author Adam Chlipala <adamc@hcoop.net>
date Thu, 09 Apr 2009 13:59:34 -0400
parents 7292bcb7c02d
children baaae037e7f6
comparison
equal deleted inserted replaced
711:7292bcb7c02d 712:915ec60592d4
168 fun resetCunif () = count := 0 168 fun resetCunif () = count := 0
169 169
170 fun cunif (loc, k) = 170 fun cunif (loc, k) =
171 let 171 let
172 val n = !count 172 val n = !count
173 val s = if n <= 26 then 173 val s = if n < 26 then
174 str (chr (ord #"A" + n)) 174 str (chr (ord #"A" + n))
175 else 175 else
176 "U" ^ Int.toString (n - 26) 176 "U" ^ Int.toString (n - 26)
177 in 177 in
178 count := n + 1; 178 count := n + 1;