Mercurial > urweb

view tests/broad_unif.ur @ 1260:25ebd8c4fafb

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Thunking recursive JavaScripted function ASTs, to reduce page load time dramatically
author Adam Chlipala <adamc@hcoop.net>
date Sat, 22 May 2010 14:09:06 -0400
parents 71bafe66dbe1
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