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

View of /tests/trunk/bugs/tests.obsolete/bug1174.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: 388 byte(s)
(* bug1174.sml *)

signature sig1 =
    sig 
	type t 
	val f : int -> t
    end

functor fun1() :> sig1 = 
    struct 
	type t = bool

	fun f(0) = false
	  | f(n) = true
    end

signature sig2 = 
    sig 
	structure str1 : sig1
	type t 
	val h : t -> int
    end

functor fun2(structure str1 : sig1) :> sig2 = 
    struct
	structure st1 = str1
	type t = str1.t
	fun h(false) = 0
    end

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