2 <link rel=
"stylesheet" href=
"style.css" type=
"text/css">
3 <meta content=
"text/html; charset=iso-8859-1" http-equiv=
"Content-Type">
4 <link rel=
"Start" href=
"index.html">
5 <link title=
"Index of types" rel=Appendix
href=
"index_types.html">
6 <link title=
"Index of exceptions" rel=Appendix
href=
"index_exceptions.html">
7 <link title=
"Index of values" rel=Appendix
href=
"index_values.html">
8 <link title=
"Index of modules" rel=Appendix
href=
"index_modules.html">
9 <link title=
"Types" rel=
"Chapter" href=
"Types.html">
10 <link title=
"Parser" rel=
"Chapter" href=
"Parser.html">
11 <link title=
"Lexer" rel=
"Chapter" href=
"Lexer.html">
12 <link title=
"Value" rel=
"Chapter" href=
"Value.html">
13 <link title=
"Signal" rel=
"Chapter" href=
"Signal.html">
14 <link title=
"Faustexp" rel=
"Chapter" href=
"Faustexp.html">
15 <link title=
"Interpreter" rel=
"Chapter" href=
"Interpreter.html">
16 <link title=
"Preprocess" rel=
"Chapter" href=
"Preprocess.html">
17 <link title=
"Main" rel=
"Chapter" href=
"Main.html"><title>Signal.signal_append
</title>
20 <code class=
"code"><span class=
"keyword">let
</span> signal_append
s1
s2
=
<br>
21 <span class=
"keyword">let
</span> f
=
signal_check_frequency
s1
s2
<span class=
"keyword">in
</span><br>
22 <span class=
"keyword">let
</span> new_signal
=
<span class=
"keyword">fun
</span> t
<span class=
"keywordsign">-
></span> <br>
23 <span class=
"keyword">let
</span> temp1
=
(signal_fun
s1)
t
<span class=
"keyword">in
</span><br>
24 <span class=
"keyword">let
</span> temp2
=
(signal_fun
s2)
t
<span class=
"keyword">in
</span><br>
25 <span class=
"keyword">match
</span> (temp1,
temp2)
<span class=
"keyword">with
</span><br>
26 <span class=
"keywordsign">|
</span>(
<span class=
"constructor">Vec
</span> (size1,
vec1),
<span class=
"constructor">Vec
</span> (size2,
vec2))
<span class=
"keywordsign">-
></span><br>
27 <span class=
"keyword">let
</span> new_vec
=
<span class=
"keyword">fun
</span> i
<span class=
"keywordsign">-
></span> <span class=
"keyword">if
</span> i
< size1
<span class=
"keyword">then
</span> vec1
i
<span class=
"keyword">else
</span> vec2
(i
-
size1)
<span class=
"keyword">in
</span><br>
28 make_vector
(size1
+
size2)
new_vec
<br>
29 <span class=
"keywordsign">|
</span>_
<span class=
"keywordsign">-
></span> raise
(
<span class=
"constructor">Signal_operation
</span> <span class=
"string">"Append: input signals should be vectors."</span>)
<br>
30 <span class=
"keyword">in
</span><br>
31 (f,
new_signal)
</code></body></html>