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/bugs/tests.obsolete/bug614.sml
ViewVC logotype

View of /tests/trunk/bugs/tests.obsolete/bug614.sml

Parent Directory Parent Directory | Revision Log Revision Log


Revision 2460 - (download) (annotate)
Sat Apr 28 20:18:10 2007 UTC (12 years, 2 months ago) by gkuan
File size: 518 byte(s)
(* bug614.sml *)
(* 614. high-order-functor thinning-in *)

signature SIG = sig val e : real
		end;

funsig PROD (structure M : SIG
	     structure N : SIG) = SIG;

structure S = struct val e = 100.0
	      end;

structure P = struct val e = 0.0
	      end;

functor Square(structure X : SIG
	       functor Prod : PROD) : SIG =
    Prod(structure M = S
	 structure N = X);

functor F(structure N : SIG) = struct val e = (N.e * N.e)
			       end;

structure A = Square(structure X = P
		     functor Prod = F);

A.e;

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