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

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

Parent Directory Parent Directory | Revision Log Revision Log


Revision 3345 - (view) (download)

1 : dbm 3284 signature S = sig type t end
2 : gkuan 3053
3 : dbm 3284 functor H(X:S) (Y:sig val f : X.t end) =
4 : gkuan 3053 struct
5 :     end
6 :    
7 : dbm 3284 functor G = H(struct type t = int end)
8 : gkuan 3053
9 : gkuan 3345 functor A = G

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