Mercurial > urweb

annotate tests/equiv.ur @ 2207:f0f7bf234893

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Removes DBMS choice override from compiler.sml (which was there for debugging).
author Ziv Scully <ziv@mit.edu>
date Fri, 30 May 2014 12:00:00 -0400
parents 71bafe66dbe1
children
rev   line source
adamc@19 1 type t1 = {A : int, B : float}
adamc@19 2 type t2 = {B : float, A : int}
adamc@19 3 val e1 : t1 -> t2 = fn x => x