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.2
ViewVC logotype

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

Parent Directory Parent Directory | Revision Log Revision Log


Revision 2393 - (download) (annotate)
Tue Apr 10 18:17:13 2007 UTC (13 years, 7 months ago) by gkuan
File size: 429 byte(s)
 signature Y =
  sig
    type array
    type elem

    val array    : int * elem -> array
  end

functor F (A : Y) =
  struct

    type array = A.array

    fun array (sz, dflt) = A.array (sz, dflt)

  end
 
structure DFA = F(
  struct 
  
    type elem = unit->(unit * unit)
    type array = elem Array.array

    val array = Array.array 
  end)
 

signature PRIMREAL = sig
end
 

functor RealConst(P : PRIMREAL) =
struct
end



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