diff options
| author | Pierre-Marie Pédrot | 2017-09-05 15:39:04 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2017-09-05 15:52:51 +0200 |
| commit | 2b0e0ad1062ad49c8bd7d4a7d183fe0119f81803 (patch) | |
| tree | 490647f43fe359af16313c166dd2413feeb63458 /src/tac2qexpr.mli | |
| parent | 3e71c616fdafd86652bf9e14505ae1379a6f37bc (diff) | |
Introducing quotations for move locations.
Diffstat (limited to 'src/tac2qexpr.mli')
| -rw-r--r-- | src/tac2qexpr.mli | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/src/tac2qexpr.mli b/src/tac2qexpr.mli index 4bbaf43d8d..7d02022e07 100644 --- a/src/tac2qexpr.mli +++ b/src/tac2qexpr.mli @@ -131,3 +131,11 @@ type hintdb_r = | QHintDbs of Id.t located or_anti list type hintdb = hintdb_r located + +type move_location_r = +| QMoveAfter of Id.t located or_anti +| QMoveBefore of Id.t located or_anti +| QMoveFirst +| QMoveLast + +type move_location = move_location_r located |