Mercurial > urweb

diff src/source.sml @ 403:8084fa9216de

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
New implicit argument handling
author Adam Chlipala <adamc@hcoop.net>
date Tue, 21 Oct 2008 16:41:11 -0400
parents b85e6ba56618
children dfc8c991abd0
line wrap: on
line diff
--- a/src/source.sml	Tue Oct 21 15:11:42 2008 -0400
+++ b/src/source.sml	Tue Oct 21 16:41:11 2008 -0400
@@ -105,11 +105,16 @@
 
 withtype pat = pat' located
 
+datatype inference =
+         Infer
+       | DontInfer
+       | TypesOnly
+
 datatype exp' =
          EAnnot of exp * con
 
        | EPrim of Prim.t
-       | EVar of string list * string
+       | EVar of string list * string * inference
        | EApp of exp * exp
        | EAbs of string * con option * exp
        | ECApp of exp * con