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
|
(* 2013-4-7 ohori:
This causes unexpected name error:
ccc.smi:32.11-32.44 Error:
(name evaluation CP-260) Provide check fails (type definition):
mkCore.IntGrammar.SymbolAssoc.key
*)
(* ohori 2013-08-07
再現しない．おそらくこれ以降の変更で修正されたとおもわれる．
とりあえずfixedに移す．
*)
signature TABLE =
sig
type key
end
signature GRAMMAR =
sig
datatype symbol = TERM of int | NONTERM of int
end
signature INTGRAMMAR =
sig
structure Grammar : GRAMMAR
structure SymbolAssoc : TABLE
sharing type SymbolAssoc.key = Grammar.symbol
end
functor mkCore(structure IntGrammar : INTGRAMMAR)
:
sig
structure Grammar : GRAMMAR
structure IntGrammar : INTGRAMMAR
sharing Grammar = IntGrammar.Grammar
end
=
struct
structure IntGrammar = IntGrammar
structure Grammar = IntGrammar.Grammar
end
|
