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/bug33.sml
ViewVC logotype

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

Parent Directory Parent Directory | Revision Log Revision Log


Revision 2460 - (view) (download)

1 : dbm 548 (* bug33.sml *)
2 :    
3 :     signature Sig1 = (* illegal -- cyclic *)
4 :     sig
5 :     structure a: sig structure b: sig end end
6 :     structure a': sig end sharing a = a'
7 :     structure b': sig end sharing b' = a.b
8 :     sharing a' = b'
9 :     end;
10 :    
11 :     signature Sig2 = (* legal *)
12 :     sig
13 :     structure a: sig structure b: sig end end
14 :     structure a': sig end sharing a = a'
15 :     structure b': sig end sharing b' = a.b
16 :     end;
17 :    

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