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/typing/tests/21.sml
ViewVC logotype

View of /tests/trunk/typing/tests/21.sml

Parent Directory Parent Directory | Revision Log Revision Log


Revision 2558 - (download) (annotate)
Wed May 16 18:37:20 2007 UTC (12 years, 1 month ago) by dbm
File size: 318 byte(s)
added tests/typing/tests/21.sml
(* 21.sml *)
(* derived from bug409.sml *)
(* type checking after functor application, nonstrict type constructor *)

signature BS =
sig
  type 'a t
  val f: int -> 'a t
end;

structure B =
struct
  type 'a t = bool * int
  fun f(x): 'a t = (true,x)
end;
          
functor F(X: BS) = struct end;

structure A = F(B);

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