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/testcases/realconst.sml.bug.1
ViewVC logotype

View of /sml/branches/primop-branch-3/testcases/realconst.sml.bug.1

Parent Directory Parent Directory | Revision Log Revision Log


Revision 2392 - (download) (annotate)
Tue Apr 10 18:16:23 2007 UTC (13 years, 9 months ago) by gkuan
File size: 378 byte(s)
signature S =
sig
    type ar
    type elem
    val cons : int * elem -> ar
end

functor F(X : S) =
  struct 
  end

signature R = 
sig
    type 'a ar
    val cons : int * 'a -> 'a ar
end

structure N :> R =
struct
    type 'a ar = 'a Array.array
    val cons = Array.array
end

structure M = F(
	      struct open N
	      type elem = int
	      type ar = elem ar
	      end)

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