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
|
_interface "131_functorty.smi"
structure S = F(type t = int)
(*
2011-09-07 katsu
Type annotations of EXTERNVAR in 131_functorty.sml
and EXPORTVAR in 131_functorty2.sml are mismatched.
131_functorty.sml:
extern var _.F : ['a. ({1: 'a} -> {1: 'a}) -> {1: ['b. 'b -> 'b]}]
131_functorty2.sml:
export variable _.F(6) : ['a, 'b. ({1: 'a} -> {1: 'a}) -> {1: 'b -> 'b}]
*)
(*
2011-09-07 ohori
Fixed by writing up a type coercion checking (e, tau, sigma)
to verify that e of type tau can be coerceed to sigma.
The code is length and complicated. Need to review.
*)
|
