Mercurial > urweb

comparison tests/datatypeMod.lac @ 159:1e382d10e832

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Abstracting datatypes with signature ascription
author Adam Chlipala <adamc@hcoop.net>
date Thu, 24 Jul 2008 16:41:12 -0400
parents b4b70de488e9
children 870e8abbe3b9
comparison
equal deleted inserted replaced
158:b4b70de488e9 159:1e382d10e832
12 structure M2 = M 12 structure M2 = M
13 structure M3 : sig datatype t = datatype M.t end = M2 13 structure M3 : sig datatype t = datatype M.t end = M2
14 structure M4 : sig datatype t = datatype M.t end = M 14 structure M4 : sig datatype t = datatype M.t end = M
15 15
16 val b : M3.t = M4.B 16 val b : M3.t = M4.B
17
18 structure Ma : sig type t end = M