diff options
| author | Pierre-Marie Pédrot | 2016-12-08 09:10:39 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2017-05-19 15:17:31 +0200 |
| commit | 4c5f635769811be7d5f8b39f699b76ea51388cd4 (patch) | |
| tree | 921066dc5a7aebb7c05c3de15c812f1211dcfab2 /tac2expr.mli | |
| parent | f0b3169d5494074d159f94ed1d3d482037990a58 (diff) | |
Merging GTacTuple and GTacCst nodes.
Diffstat (limited to 'tac2expr.mli')
| -rw-r--r-- | tac2expr.mli | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/tac2expr.mli b/tac2expr.mli index 7a2c684fbc..1fac5a2315 100644 --- a/tac2expr.mli +++ b/tac2expr.mli @@ -101,9 +101,8 @@ type glb_tacexpr = | GTacFun of Name.t list * glb_tacexpr | GTacApp of glb_tacexpr * glb_tacexpr list | GTacLet of rec_flag * (Name.t * glb_tacexpr) list * glb_tacexpr -| GTacTup of glb_tacexpr list | GTacArr of glb_tacexpr list -| GTacCst of type_constant * int * glb_tacexpr list +| GTacCst of case_info * int * glb_tacexpr list | GTacCse of glb_tacexpr * case_info * glb_tacexpr array * (Name.t array * glb_tacexpr) array | GTacPrj of type_constant * glb_tacexpr * int | GTacSet of type_constant * glb_tacexpr * int * glb_tacexpr |