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

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

Parent Directory Parent Directory | Revision Log Revision Log


Revision 2071 - (download) (annotate)
Tue Oct 31 02:58:12 2006 UTC (12 years, 8 months ago) by blume
Original Path: tests/trunk/bugs/tests/bug1013.sml
File size: 381 byte(s)
moved tests trunk
(* bug1013.sml *)

signature A =
sig
  type x
  datatype d = D of {extension: x}
end;

signature B =
sig
  include A
  type t
  type b_x = {a: t, b: int}
  sharing type b_x = x
end;

signature C =
sig
  include B
end;

functor F (structure In: C) =
struct
  fun f arg =
       let val In.D {extension} = arg
           val {a, ...}: In.b_x = extension
       in a
       end
end;


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