Mercurial > urweb

comparison src/mono_shake.sml @ 196:890a61991263

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Lists all the way through
author Adam Chlipala <adamc@hcoop.net>
date Sat, 09 Aug 2008 16:48:32 -0400
parents 8e9f97508f0d
children 42dfb0d61cf0
comparison
equal deleted inserted replaced
195:85b5f663bb86 196:890a61991263
56 | ((DExport _, _), acc) => acc) 56 | ((DExport _, _), acc) => acc)
57 (IM.empty, IM.empty) file 57 (IM.empty, IM.empty) file
58 58
59 fun typ (c, s) = 59 fun typ (c, s) =
60 case c of 60 case c of
61 TDatatype (_, n, _) => 61 TDatatype (n, _) =>
62 if IS.member (#con s, n) then 62 if IS.member (#con s, n) then
63 s 63 s
64 else 64 else
65 let 65 let
66 val s' = {exp = #exp s, 66 val s' = {exp = #exp s,