Mercurial > urweb

view tests/equiv.lac @ 169:2232ab355f66

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Took more advantage of new ability to exit with an error message
author Adam Chlipala <adamc@hcoop.net>
date Tue, 29 Jul 2008 16:02:02 -0400
parents e634ae817a8e
children
line wrap: on
line source
type t1 = {A : int, B : float}
type t2 = {B : float, A : int}
val e1 : t1 -> t2 = fn x => x