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/68.sml
ViewVC logotype

View of /sml/trunk/tests/modules/tests.obsolete/68.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: 399 byte(s)
Initial revision
(* test68.sml *)
(* keywords: sharing, structure *)

(* Doligez *)
(* obtaining incompatible structures by multiple functor application *)
(* status : should not work, does not work in 66, does not work in dd67 *)

functor F (X : sig end) =
  struct structure A = struct end
  end;

structure B = struct end;

structure C = F (B);

structure D = F (B);

signature S =
  sig sharing C.A = D.A
  end;

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