Mercurial > urweb

view tests/broad_unif.lac @ 224:cb8a68964ebb

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
GROUP BY added to query type, with trivial parsing, for now
author Adam Chlipala <adamc@hcoop.net>
date Thu, 21 Aug 2008 12:54:09 -0400
parents 522f4bd3955e
children
line wrap: on
line source
structure M = struct
        type t = int
        val f = fn x => x
        val y = f 0
end

signature S = sig
        type t
        val f : t -> t
end

structure M : S = struct
        type t = int
        val f = fn x => x
end