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 /papers/modulespaper/apply-fct/ex2/all.ml
ViewVC logotype

View of /papers/modulespaper/apply-fct/ex2/all.ml

Parent Directory Parent Directory | Revision Log Revision Log


Revision 3564 - (download) (annotate)
Thu Sep 30 13:33:05 2010 UTC (8 years, 8 months ago) by dbm
File size: 263 byte(s)
initial import
module K = struct type t = int end
module K' = struct type t = int end

module S(X:sig type t end) : sig type u val v : u val f : u -> bool end = 
struct
  type u = X.t list
  let v = []
  let f x = true
end 
module I0 = S(K)
module I1 = S(K')
let _ = I0.f(I1.v)

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