diff options
| author | Christopher Pulte | 2016-11-30 22:48:25 +0000 |
|---|---|---|
| committer | Christopher Pulte | 2016-11-30 22:48:25 +0000 |
| commit | 33ed9509e06b694580dc2b466222fabde43c787f (patch) | |
| tree | 8de72df588913468ba25ddfc8dc97634b25200ff /src/gen_lib/sail_values.lem | |
| parent | 67cb941a3e56730a631bf740c9d41dd5e6c1dc07 (diff) | |
shallow embedding fix, rename 'copy' to 'reset_vector_start', don't print shallow/deep ast conversion type class instances anymore, add herdtools ast / shallow ast conversion functions, add mips ImplementationDefinedStopFetching instruction
Diffstat (limited to 'src/gen_lib/sail_values.lem')
| -rw-r--r-- | src/gen_lib/sail_values.lem | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/gen_lib/sail_values.lem b/src/gen_lib/sail_values.lem index 3357fe3d..0d47a5e8 100644 --- a/src/gen_lib/sail_values.lem +++ b/src/gen_lib/sail_values.lem @@ -129,7 +129,7 @@ val set_vector_start : forall 'a. integer -> vector 'a -> vector 'a let set_vector_start new_start (Vector bs _ is_inc) = Vector bs new_start is_inc -let copy v = +let reset_vector_start v = set_vector_start (if (get_dir v) then 0 else (length v - 1)) v let set_vector_start_to_length v = |