summaryrefslogtreecommitdiff
path: root/src/source.sml
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2008-10-21 16:41:11 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2008-10-21 16:41:11 -0400
commit1a5acb4732536e4be288895eb89d139b19aebc94 (patch)
treee4856ac916556022e401a21e2ff722af1b472aa1 /src/source.sml
parenta3418cf924752accf2f68fc2673da2a661276ae5 (diff)
New implicit argument handling
Diffstat (limited to 'src/source.sml')
-rw-r--r--src/source.sml7
1 files changed, 6 insertions, 1 deletions
diff --git a/src/source.sml b/src/source.sml
index d99907ae..23d2089f 100644
--- a/src/source.sml
+++ b/src/source.sml
@@ -105,11 +105,16 @@ datatype pat' =
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