diff options
| author | Christopher Pulte | 2016-09-19 16:12:03 +0100 |
|---|---|---|
| committer | Christopher Pulte | 2016-09-19 16:12:03 +0100 |
| commit | 4d823e649a4070fbc2ce90bf0980378ffd96a0f9 (patch) | |
| tree | 7303a37c32fae244b57e0d188db5fe21f73f9d96 /src/gen_lib/prompt.lem | |
| parent | 62c2f45fbb34703ebc6c43819f4450da5601dff4 (diff) | |
sail-to-lem progress
Diffstat (limited to 'src/gen_lib/prompt.lem')
| -rw-r--r-- | src/gen_lib/prompt.lem | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/gen_lib/prompt.lem b/src/gen_lib/prompt.lem index 6fa406b8..1382fd1d 100644 --- a/src/gen_lib/prompt.lem +++ b/src/gen_lib/prompt.lem @@ -83,7 +83,7 @@ type reg_name = * specifies a part of the field, indexed w.r.t. the register as a whole *) | Reg_f_slice of string * nat * direction * string * slice * slice -type outcome 'e 'a = +type outcome 'a = (* Request to read memory, value is location to read followed by registers that location depended * on when mode.track_values, integer is size to read, followed by registers that were used in * computing that size *) @@ -123,7 +123,7 @@ type outcome 'e 'a = (* Escape the current instruction, for traps, some sys calls, interrupts, etc. Can optionally * provide a handler. *) - | Escape 'e (* currently without handlers *) (* of maybe (unit -> outcome 'a) *) + | Escape of (outcome unit) (* currently without handlers *) (* of maybe (unit -> outcome 'a) *) (* Stop for incremental stepping, function can be used to display function call data *) | Done of 'a |