Mercurial > urweb

view tests/subsig.ur @ 2279:32a407902d3b

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Rewrite LRU cache. Now uses one big hash table and is less buggy.
author Ziv Scully <ziv@mit.edu>
date Wed, 11 Nov 2015 20:01:48 -0500
parents 71bafe66dbe1
children
line wrap: on
line source
structure M = struct
        signature S = sig
                type t
        end
end

structure N : M.S = struct
        type t = int
end

structure M' = struct
        type t = int
        val y = 42

        signature S = sig
                val x : t
        end
end

structure N' : M'.S = struct
        val x = 0
end

signature S = sig
        type t
        val y : t

        signature S = sig
                val x : t
        end
end

structure M'S : S = M'

structure V : M'S.S = struct
        val x = M'S.y
end

structure M'S' = M'S

structure V : M'S'.S = struct
        val x = M'S.y
end