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
35
36
37
38
39
40
41
42
43
|
signature SIGA =
sig
val return : int (* これを消すとエラーは発生しない *)
end;
structure STRA : SIGA =
struct
val return = 314
end;
functor Mk (M : SIGA) =
struct
end;
structure S = Mk(STRA);
(*
2012-09-12 katsu
This ticket is derived from https://github.com/smlsharp/smlsharp/issues/3
Executing the above steps in interactive mode causes BUG.
SML# version 1.1.0 (2012-08-08 12:08:42 JST) for x86-linux
# use "235_functor.sml";
functor Mk
(sig
val return : int
end) =
sig
end
signature SIGA =
sig
val return : int
end
structure STRA =
struct
val return = 314 : int
end
# structure S = Mk(STRA);
[BUG] none:0.0-0.0: exvar not found (SAContext):0
*)
|
