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

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

Parent Directory Parent Directory | Revision Log Revision Log


Revision 548 - (view) (download)
Original Path: sml/trunk/tests/bugs/tests/bug1547.1.sml

1 : dbm 548 (* bug1547.1.sml *)
2 :    
3 :     signature S = sig type t val x: t val f: t -> string end;
4 :    
5 :     structure A :> S = struct type t = int val x = 1 val f = Int.toString end;
6 :     structure B :> S = struct type t = string val x = "1" fun f s = s end;
7 :    
8 :     signature SS = sig structure X : S = A end;
9 :    
10 :     structure C :> SS = struct structure X = B end;
11 :    
12 :     val x = C.X.f(A.x);

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