diff options
| author | Pierre-Marie Pédrot | 2017-08-27 01:04:19 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2017-08-27 16:29:52 +0200 |
| commit | 9bbdee3c09c92654bb8937b9939a9b9c69c23d1d (patch) | |
| tree | b3d1c29ff58ce67cdf11123b48175098100f0354 /src/tac2expr.mli | |
| parent | 7f562a9539522e56004596a751758a08cee798b1 (diff) | |
Introducing rebindable toplevel definitions.
Diffstat (limited to 'src/tac2expr.mli')
| -rw-r--r-- | src/tac2expr.mli | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/tac2expr.mli b/src/tac2expr.mli index 281ed6c81e..78611d51ca 100644 --- a/src/tac2expr.mli +++ b/src/tac2expr.mli @@ -154,7 +154,7 @@ type sexpr = (** {5 Toplevel statements} *) type strexpr = -| StrVal of rec_flag * (Name.t located * raw_tacexpr) list +| StrVal of mutable_flag * rec_flag * (Name.t located * raw_tacexpr) list (** Term definition *) | StrTyp of rec_flag * (qualid located * redef_flag * raw_quant_typedef) list (** Type definition *) @@ -162,7 +162,8 @@ type strexpr = (** External definition *) | StrSyn of sexpr list * int option * raw_tacexpr (** Syntactic extensions *) - +| StrMut of qualid located * raw_tacexpr + (** Redefinition of mutable globals *) (** {5 Dynamic semantics} *) |