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
34
|
(* This caused a segfault in 5.5 and earlier due to an error in the optimiser.
These examples are a special case because they could result in infinite
inline expansion. *)
datatype 'a ft = FT of 'a ft -> 'a;
fun Y f =
(
fn (FT x) =>
(f
(fn a => x (FT x) a)
)
)
(FT
(
fn (FT x) =>
(f
(fn a => x (FT x) a)
)
)
);
fun Fact f n = if n = 0 then 1 else n * f(n-1);
val fact = Y Fact;
fact 4; (* This crashed. *)
(* A slightly different example. This is infinitely recursive. *)
fun Z() =
let
val f = fn(FT g) => g (FT g)
in
f (FT f)
end;
|
