Mercurial > urweb

comparison src/mono_shake.sml @ 168:25b169416ea8

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Storing datatype constructors in type references past monoize
author Adam Chlipala <adamc@hcoop.net>
date Tue, 29 Jul 2008 15:43:17 -0400
parents 6847741e1f5f
children eb3f9913bf31
comparison
equal deleted inserted replaced
167:2be573fec9a6 168:25b169416ea8
54 | ((DExport _, _), acc) => acc) 54 | ((DExport _, _), acc) => acc)
55 (IM.empty, IM.empty) file 55 (IM.empty, IM.empty) file
56 56
57 fun typ (c, s) = 57 fun typ (c, s) =
58 case c of 58 case c of
59 TNamed n => 59 TDatatype (n, _) =>
60 if IS.member (#con s, n) then 60 if IS.member (#con s, n) then
61 s 61 s
62 else 62 else
63 {exp = #exp s, 63 {exp = #exp s,
64 con = IS.add (#con s, n)} 64 con = IS.add (#con s, n)}