diff options
| author | Alasdair Armstrong | 2019-02-21 20:03:20 +0000 |
|---|---|---|
| committer | Alasdair Armstrong | 2019-02-21 20:03:20 +0000 |
| commit | 9c13d5888fdd12aa46f9a3b1a752cf040bc94939 (patch) | |
| tree | 0c3223d649f69b216daa5f9ef81fba4aa7b94caa /doc/examples | |
| parent | c0de36691f70867bbe1f9cd01f0ee4340b7fb2d5 (diff) | |
Fix manual, and include Alexandre's typo fixes
Diffstat (limited to 'doc/examples')
| -rw-r--r-- | doc/examples/my_replicate_bits.sail | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/examples/my_replicate_bits.sail b/doc/examples/my_replicate_bits.sail index 8c3c9458..9334163b 100644 --- a/doc/examples/my_replicate_bits.sail +++ b/doc/examples/my_replicate_bits.sail @@ -44,9 +44,9 @@ function my_replicate_bits_2(n, xs) = { ys } -val cast extz : forall 'n 'm, 'm >= 'n. bits('n) -> bits('m) +val cast extz : forall 'n 'm, 'm >= 'n. (implicit('m), bits('n)) -> bits('m) -function extz(xs) = zero_extend(xs, 'm) +function extz(m, xs) = zero_extend(xs, m) val my_replicate_bits_3 : forall 'n 'm, 'm >= 1 & 'n >= 1. (int('n), bits('m)) -> bits('n * 'm) |