Mercurial > urweb

diff src/cjr.sml @ 290:df00701f2323

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
'read' type class
author Adam Chlipala <adamc@hcoop.net>
date Sun, 07 Sep 2008 11:53:30 -0400
parents 4260ad920c36
children 59dc042629b9
line wrap: on
line diff
--- a/src/cjr.sml	Sun Sep 07 11:41:04 2008 -0400
+++ b/src/cjr.sml	Sun Sep 07 11:53:30 2008 -0400
@@ -60,6 +60,7 @@
        | ERel of int
        | ENamed of int
        | ECon of datatype_kind * patCon * exp option
+       | ESome of typ * exp
        | EFfi of string * string
        | EFfiApp of string * string * exp list
        | EApp of exp * exp