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 /sml/branches/primop-branch-3/compiler/DEVNOTES/mod-examples/m21b.sml
ViewVC logotype

View of /sml/branches/primop-branch-3/compiler/DEVNOTES/mod-examples/m21b.sml

Parent Directory Parent Directory | Revision Log Revision Log


Revision 3451 - (download) (annotate)
Fri Sep 18 18:44:47 2009 UTC (10 years ago) by dbm
File size: 175 byte(s)
updated ElabMod/tycpath documentation on tycpaths, added mod-examples test cases
signature S = sig type t end;

functor H(X: S) = 
struct
   functor H1(Y: sig val a : X.t end) = struct end
end;

structure A = H(struct type t = int end);

functor F = A.H1;

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