diff options
| author | Pierre-Marie Pédrot | 2017-08-27 21:33:55 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2017-08-27 21:35:48 +0200 |
| commit | 6bb9c33f0e35a694ca253bc766f9a235d2073a4f (patch) | |
| tree | 638d69bdafdf75f21fb7f6b5a1a46644c4bec867 /src/tac2expr.mli | |
| parent | 0a5097752646f5bf3fd542880d4e33ece771f588 (diff) | |
Do not reuse the Val.t type in toplevel values.
Diffstat (limited to 'src/tac2expr.mli')
| -rw-r--r-- | src/tac2expr.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/tac2expr.mli b/src/tac2expr.mli index 78611d51ca..0c9112d902 100644 --- a/src/tac2expr.mli +++ b/src/tac2expr.mli @@ -186,7 +186,7 @@ type valexpr = (** Closures *) | ValOpn of KerName.t * valexpr array (** Open constructors *) -| ValExt of Geninterp.Val.t +| ValExt : 'a Geninterp.Val.typ * 'a -> valexpr (** Arbitrary data *) and closure = { |