Mercurial > urweb

comparison src/mono_shake.sml @ 188:8e9f97508f0d

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Datatype representation optimization
author Adam Chlipala <adamc@hcoop.net>
date Sun, 03 Aug 2008 19:49:21 -0400
parents eb3f9913bf31
children 890a61991263
comparison
equal deleted inserted replaced
187:fb6ed259f5bd 188:8e9f97508f0d
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,