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

Annotation of /tests/trunk/bugs/tests.obsolete/bug209.2.sml

Parent Directory Parent Directory | Revision Log Revision Log


Revision 2460 - (view) (download)

1 : dbm 548 (* bug209.2.sml *)
2 :     (* problem in eqtypes/defineEqTycon/eqty *)
3 :    
4 :     signature S1 = sig type t end;
5 :     structure A = struct type t = int end;
6 :     functor F(X : S1) =
7 :     struct
8 :     structure B = struct datatype s1 = K of X.t end
9 :     datatype s = L of B.s1
10 :     end;
11 :     structure C = F(A);
12 :    
13 :     fun f(x:C.s) = (x = x); (* is C.s recognized as equality type? *)

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