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

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

Parent Directory Parent Directory | Revision Log Revision Log


Revision 3281 - (download) (annotate)
Tue Mar 17 22:27:10 2009 UTC (11 years, 8 months ago) by gkuan
File size: 252 byte(s)
simplified hidden type formals bug case
signature S =
sig
    type t
end

functor H(X:S) (Y:sig val f : X.t end)   =
struct
 
end

functor G() = 
struct
functor I = H(struct type t = int end) 
   (* structure M = H(struct type t = int end) (struct val f = 1 end) *)

 
end

structure M = G()

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