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

View of /sml/trunk/tests/modules/tests.obsolete/102.sml

Parent Directory Parent Directory | Revision Log Revision Log


Revision 548 - (download) (annotate)
Tue Feb 29 16:38:11 2000 UTC (20 years, 5 months ago) by dbm
File size: 579 byte(s)
Initial revision
(* simple tests to make sure that open works correctly *)

signature S0 =
  sig
    structure B : sig type t end
  end

signature S1 =
  sig
    structure A : S0
    open A.B
    val x : t
    type t
    val y : t
    structure C : sig structure D : sig type t end end
    open C
    open D
    val z : t
  end

structure S =
   struct
      structure A = struct structure B = struct type t=int end end
      val x = 5
      type t = bool
      val y = true
      structure C = struct structure D = struct type t=string end end
      val z = "a"
   end

structure S' : S1 = S

	

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