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

Annotation of /sml/branches/primop-branch-3/compiler/DEVNOTES/mod-examples/m21c.sml

Parent Directory Parent Directory | Revision Log Revision Log


Revision 3284 - (view) (download)

1 : dbm 3284 functor H(X: sig type t end) =
2 :     struct
3 :     functor H1(Y: sig val a : X.t end) = struct end
4 :     end;
5 :    
6 :     structure A = H(struct type t = int end);
7 :    
8 :     structure B = A.H1(struct val a = 3 end);

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