diff options
| author | Robert Norton | 2018-07-09 14:50:16 +0100 |
|---|---|---|
| committer | Robert Norton | 2018-07-09 14:57:20 +0100 |
| commit | 8139ae498b4809833394b3e0548757426ff912cc (patch) | |
| tree | ef6e8bd7985ab1d921b4a74f5b769281e2466b13 /doc/examples | |
| parent | d829021b5f64d3c6b4ad39c69a5f36475d8e7071 (diff) | |
Support building an anonymised version of manual. Fix sail example in manual. Remove incomplete types chapter from manual per AA's recommendation.
Diffstat (limited to 'doc/examples')
| -rw-r--r-- | doc/examples/my_replicate_bits.sail | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/doc/examples/my_replicate_bits.sail b/doc/examples/my_replicate_bits.sail index c9972cd6..8c3c9458 100644 --- a/doc/examples/my_replicate_bits.sail +++ b/doc/examples/my_replicate_bits.sail @@ -17,10 +17,14 @@ val operator >> = { val "or_vec" : forall 'n. (bits('n), bits('n)) -> bits('n) +val zero_extend = "zero_extend" : forall 'n 'm, 'm >= 'n. (bits('n), atom('m)) -> bits('m) + overload operator | = {or_vec} val my_replicate_bits : forall 'n 'm, 'm >= 1 & 'n >= 1. (int('n), bits('m)) -> bits('n * 'm) +val zeros = "zeros" : forall 'n. atom('n) -> bits('n) + function my_replicate_bits(n, xs) = { ys = zeros(n * length(xs)); foreach (i from 1 to n) { |