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 /tests/trunk/modules/tests/309.sml
ViewVC logotype

View of /tests/trunk/modules/tests/309.sml

Parent Directory Parent Directory | Revision Log Revision Log


Revision 2486 - (download) (annotate)
Thu May 3 20:03:06 2007 UTC (12 years, 5 months ago) by gkuan
File size: 293 byte(s)
added Twelf nonstrict type operator sigmatch test
(* test.sml --
  Derived from Twelf 1.5RC1
  nonstrict type operator sigmatch
 *)

signature S =
sig
  type 'a t

  val f : unit -> 'a t
end;

functor F (X : S) =
struct
    val x : int X.t = X.f () 
end;

structure A : S =
struct
  type 'a t = unit

  fun f () = ()
end;

structure B = F(A);

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