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

View of /tests/trunk/bugs/tests/bug1124.2.sml

Parent Directory Parent Directory | Revision Log Revision Log


Revision 2071 - (download) (annotate)
Tue Oct 31 02:58:12 2006 UTC (12 years, 10 months ago) by blume
File size: 192 byte(s)
moved tests trunk
(* bug1124.2.sml *)

signature SIG =
sig
  datatype t1 = C1
  datatype t2 = C2
  and t3 = C3 | C4 of t1
end;

functor F(structure S : SIG) =
struct
  fun f(S.C4 _) = true
    | f x = x=x
end;

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