Mercurial > urweb

comparison src/cjr.sml @ 316:04ebfe929a98

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Unpolyed a polymorphic function of two arguments
author Adam Chlipala <adamc@hcoop.net>
date Thu, 11 Sep 2008 10:14:59 -0400
parents 52d4c60518d4
children e976b187d73a
comparison
equal deleted inserted replaced
315:e21d0dddda09 316:04ebfe929a98
62 | ECon of datatype_kind * patCon * exp option 62 | ECon of datatype_kind * patCon * exp option
63 | ENone of typ 63 | ENone of typ
64 | ESome of typ * exp 64 | ESome of typ * exp
65 | EFfi of string * string 65 | EFfi of string * string
66 | EFfiApp of string * string * exp list 66 | EFfiApp of string * string * exp list
67 | EApp of exp * exp 67 | EApp of exp * exp list
68 68
69 | ERecord of int * (string * exp) list 69 | ERecord of int * (string * exp) list
70 | EField of exp * string 70 | EField of exp * string
71 71
72 | ECase of exp * (pat * exp) list * { disc : typ, result : typ } 72 | ECase of exp * (pat * exp) list * { disc : typ, result : typ }