Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] Annotation of /tests/trunk/modules/outputs.post-110.61/116.out
ViewVC logotype

Annotation of /tests/trunk/modules/outputs.post-110.61/116.out

Parent Directory Parent Directory | Revision Log Revision Log


Revision 2426 - (view) (download)

1 : gkuan 2426 val it = () : unit
2 :     signature S1 =
3 :     sig
4 :     type t
5 :     datatype d = D of t
6 :     val x : d
7 :     end
8 :     signature S2 = sig type u end
9 :     signature S4 =
10 :     sig
11 :     structure FOO :
12 :     sig
13 :     type t
14 :     datatype d = D of t
15 :     val x : d
16 :     end
17 :     structure BAR : sig type u end
18 :     sharing type FOO.t = BAR.u
19 :     end
20 :     signature S3 =
21 :     sig
22 :     structure A : sig structure A1 : <sig> end
23 :     structure BAR :
24 :     sig
25 :     type t
26 :     datatype d = D of t
27 :     val x : d
28 :     end
29 :     structure B :
30 :     sig
31 :     structure FOO : <sig>
32 :     structure BAR : <sig>
33 :     sharing type FOO.t = BAR.u
34 :     end
35 :     sharing BAR = A.A1.A2.FOO
36 :     end
37 :     functor F(X: sig
38 :     type t
39 :     datatype d = D of t
40 :     val x : d
41 :     end) :
42 :     sig end
43 :    

root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0