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 /sml/trunk/tests/modules/tests.obsolete/102.sml
ViewVC logotype

Annotation of /sml/trunk/tests/modules/tests.obsolete/102.sml

Parent Directory Parent Directory | Revision Log Revision Log


Revision 548 - (view) (download)

1 : dbm 548 (* simple tests to make sure that open works correctly *)
2 :    
3 :     signature S0 =
4 :     sig
5 :     structure B : sig type t end
6 :     end
7 :    
8 :     signature S1 =
9 :     sig
10 :     structure A : S0
11 :     open A.B
12 :     val x : t
13 :     type t
14 :     val y : t
15 :     structure C : sig structure D : sig type t end end
16 :     open C
17 :     open D
18 :     val z : t
19 :     end
20 :    
21 :     structure S =
22 :     struct
23 :     structure A = struct structure B = struct type t=int end end
24 :     val x = 5
25 :     type t = bool
26 :     val y = true
27 :     structure C = struct structure D = struct type t=string end end
28 :     val z = "a"
29 :     end
30 :    
31 :     structure S' : S1 = S
32 :    
33 :    

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