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/outputs.pre-110.5/301.out
ViewVC logotype

Annotation of /sml/trunk/tests/modules/outputs.pre-110.5/301.out

Parent Directory Parent Directory | Revision Log Revision Log


Revision 795 - (view) (download)

1 : dbm 795 val it = () : unit
2 :     signature S1 = sig type t end
3 :     signature S2 =
4 :     sig
5 :     structure U : sig type t end
6 :     datatype r = Kr of U.t
7 :     end
8 :     signature S3 =
9 :     sig
10 :     structure T :
11 :     sig
12 :     structure U : <sig>
13 :     datatype r = Kr of U.t
14 :     end
15 :     end
16 :     signature S4 =
17 :     sig
18 :     type s
19 :     datatype t = Kt of s
20 :     end
21 :     signature S5 =
22 :     sig
23 :     structure C : sig structure T : <sig> end
24 :     structure D : sig structure T : <sig> end
25 :     structure E :
26 :     sig
27 :     type s
28 :     datatype t = Kt of s
29 :     end
30 :     sharing type E.t = C.T.U.t
31 :     end
32 :    
33 :     uncaught exception Unbound
34 :     raised at: elaborate/elabmod.sml:1329.39-1329.49

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