Mercurial > urweb

annotate tests/subs_str.urs @ 2237:e79ef5792c8b

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Fix bug in redundancy checking and use finer formula for UPDATE statements.
author Ziv Scully <ziv@mit.edu>
date Sun, 05 Jul 2015 23:57:28 -0700
parents 71bafe66dbe1
children
rev   line source
adamc@66 1 structure M : sig
adamc@66 2 type t
adamc@66 3 end
adamc@66 4
adamc@66 5 val x : M.t