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

Annotation of /tests/trunk/bugs/tests.obsolete/bug1369.1.sml

Parent Directory Parent Directory | Revision Log Revision Log


Revision 2460 - (view) (download)

1 : dbm 548 (* bug1369.1.sml *)
2 :    
3 :     signature SIG0 =
4 :     sig
5 :     structure B: sig structure A: sig end end
6 :     end;
7 :    
8 :     signature SIG1 =
9 :     sig
10 :     structure C : SIG0
11 :     structure D : SIG0
12 :     end;
13 :    
14 :     signature SIG2 =
15 :     sig
16 :     structure C : SIG0
17 :     structure D : SIG0
18 :     sharing C = D
19 :     end;
20 :    
21 :     functor F (X : SIG2) = struct end;
22 :    
23 :     functor H (Y : SIG1) =
24 :     struct
25 :     structure E = F(Y)
26 :     end;
27 :    
28 :    
29 :     (* Puzzle: in compStr in SigMatch, when matching instantiated
30 :     Y to SIG2, C and D have same signatures, but substructures C.B and
31 :     D.B apparently have unequal signatures (according to MU.eqSign).
32 :     Did Instantiate change the common signature (of B in SIG0)?
33 :     *)

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