diff options
| author | Christopher Pulte | 2016-09-16 15:02:33 +0100 |
|---|---|---|
| committer | Christopher Pulte | 2016-09-16 15:02:33 +0100 |
| commit | 075b5bd2e01930e3fc89bab94338df2c70deed9d (patch) | |
| tree | d1456da4b479078ffd50426e5542767d7876f44e /src/lem_interp/interp_interface.lem | |
| parent | d5ecaf31c0dfd006776b6f3e5637f0e516bf3422 (diff) | |
make vector concatenation pattern removal deal with vector patterns of unknown length (in the last item)
Diffstat (limited to 'src/lem_interp/interp_interface.lem')
| -rw-r--r-- | src/lem_interp/interp_interface.lem | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/src/lem_interp/interp_interface.lem b/src/lem_interp/interp_interface.lem index 6b04abed..9abb561d 100644 --- a/src/lem_interp/interp_interface.lem +++ b/src/lem_interp/interp_interface.lem @@ -401,6 +401,21 @@ type read_kind = (* AArch64 reads *) | Read_acquire | Read_exclusive | Read_exclusive_acquire | Read_stream +<<<<<<< Updated upstream +======= +instance (Show read_kind) + let show = function + | Read_plain -> "Read_plain" + | Read_tag -> "Read_tag" + | Read_reserve -> "Read_reserve" + | Read_acquire -> "Read_acquire" + | Read_exclusive -> "Read_exclusive" + | Read_exclusive_acquire -> "Read_exclusive_acquire" + | Read_stream -> "Read_stream" + end +end + +>>>>>>> Stashed changes type write_kind = (* common writes *) Write_plain |