Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] View of /tests/trunk/modules/tests/315.sml
ViewVC logotype

View of /tests/trunk/modules/tests/315.sml

Parent Directory Parent Directory | Revision Log Revision Log


Revision 2563 - (download) (annotate)
Thu May 17 15:05:39 2007 UTC (12 years, 4 months ago) by gkuan
File size: 587 byte(s)
(* Generative Types and StrDefMatch0 
   The following should not pass signature matching *)

signature S0 =
sig
	structure A : sig end
	structure B : sig datatype t = A end
end

signature S1 = 
sig
	structure C : sig end
	structure B : sig datatype t = A end
end

functor F(structure M0 : S0
		  structure M1 : S1 where B = M0.B) =
		struct
			
		end
		
functor G(structure T : S0
		  structure U : S1) =
		struct
			structure Z = F(structure M0 = T
							structure M1 = U)
					(* The above should fail because 
					   T and U have different (generative)
					   B.t 
					 *)
		end

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