diff options
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 |