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/bugs/tests.obsolete/bug954.sml
ViewVC logotype

View of /tests/trunk/bugs/tests.obsolete/bug954.sml

Parent Directory Parent Directory | Revision Log Revision Log


Revision 2460 - (download) (annotate)
Sat Apr 28 20:18:10 2007 UTC (12 years, 1 month ago) by gkuan
File size: 265 byte(s)
(* bug954.sml *)

signature S1 =
sig
  type t = int
  val x:t
end;

signature S2 =
sig
  type t = string
end;

signature S3 =
sig
  include S2
  include S1
end;

structure M3 :> S3 = struct type t=real val x=3.4 end;
		      (* ACCEPTED! *)

M3.x ^ "Memory fault";

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