diff options
| author | Robert Norton <rmn30@cam.ac.uk> | 2019-06-28 14:28:31 +0100 |
|---|---|---|
| committer | Robert Norton <rmn30@cam.ac.uk> | 2019-06-28 14:28:31 +0100 |
| commit | df76662199ccc9f5e2cafbf767ab1549a957036d (patch) | |
| tree | 10275ff964d37224eba1475077edca80b019d076 /model | |
| parent | ee7e785e5da8c79376c716dc17a4d7f74e1d106f (diff) | |
| download | sail-riscv-df76662199ccc9f5e2cafbf767ab1549a957036d.zip sail-riscv-df76662199ccc9f5e2cafbf767ab1549a957036d.tar.gz sail-riscv-df76662199ccc9f5e2cafbf767ab1549a957036d.tar.bz2 | |
Rename zeros and ones implicit functions to something that sail monomorphisation pass recognises. We don't need the overload.
Diffstat (limited to 'model')
| -rw-r--r-- | model/prelude.sail | 11 |
1 files changed, 4 insertions, 7 deletions
diff --git a/model/prelude.sail b/model/prelude.sail index 4c232e4..c09171a 100644 --- a/model/prelude.sail +++ b/model/prelude.sail @@ -135,14 +135,11 @@ val EXTZ : forall 'n 'm, 'm >= 'n. (implicit('m), bits('n)) -> bits('m) function EXTS(m, v) = sail_sign_extend(v, m) function EXTZ(m, v) = sail_zero_extend(v, m) -val zeros_implicit : forall 'n, 'n >= 0 . implicit('n) -> bits('n) -function zeros_implicit (n) = sail_zeros(n) -overload zeros = {zeros_implicit, sail_zeros} - -val ones_implicit : forall 'n, 'n >= 0 . implicit('n) -> bits('n) -function ones_implicit (n) = sail_ones (n) +val zeros : forall 'n, 'n >= 0 . implicit('n) -> bits('n) +function zeros (n) = sail_zeros(n) -overload ones = {ones_implicit, sail_ones} +val ones : forall 'n, 'n >= 0 . implicit('n) -> bits('n) +function ones (n) = sail_ones (n) $endif |