diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2008-10-21 16:41:11 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2008-10-21 16:41:11 -0400 |
| commit | 1a5acb4732536e4be288895eb89d139b19aebc94 (patch) | |
| tree | e4856ac916556022e401a21e2ff722af1b472aa1 /src/source.sml | |
| parent | a3418cf924752accf2f68fc2673da2a661276ae5 (diff) | |
New implicit argument handling
Diffstat (limited to 'src/source.sml')
| -rw-r--r-- | src/source.sml | 7 |
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 |