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/bugs/tests.obsolete/bug307.sml
ViewVC logotype

Annotation of /tests/trunk/bugs/tests.obsolete/bug307.sml

Parent Directory Parent Directory | Revision Log Revision Log


Revision 2460 - (view) (download)

1 : dbm 548 (* bug307.sml *)
2 :     (* 0.69: causes uncaught exception Subscript *)
3 :    
4 :     signature SIG1 =
5 :     sig
6 :     structure T : sig type t end
7 :     structure U :
8 :     sig
9 :     structure V : sig val s : T.t end
10 :     end
11 :     end;
12 :    
13 :     structure S : SIG1 =
14 :     struct
15 :     structure T =
16 :     struct
17 :     datatype t = FOO
18 :     end
19 :     structure U =
20 :     struct
21 :     structure V =
22 :     struct
23 :     val s = T.FOO
24 :     end
25 :     end
26 :     end;

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