1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
|
\begin{center}\begin{minipage}{15cm}\begin{Verbatim}[frame=single]
> match exp([1;2]) with
[a;b] : {
a,", ",b;
}
default : {
"Something else";
};
2.7182818284590452353602874713526624977572470936999, 7.3890560989306502272304274
605750078131803155705519
>
> match exp([1;2]) with
exp([a;b]) : {
a,", ", b;
}
default : {
"Something else";
};
Warning: at least one of the given expressions or a subexpression is not correct
ly typed
or its evaluation has failed because of some error on a side-effect.
error
>
> match exp([1;2]) with
exp(a) : {
"Exponential of ", a;
}
default : {
"Something else";
};
Something else
\end{Verbatim}
\end{minipage}\end{center}
|
