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

View of /tests/trunk/bugs/tests.obsolete/bug214.1.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: 815 byte(s)
(* bug214.1.sml *)
(* impossible error, lookPath, when printing top-level result *)

signature TERM =
  sig
    datatype term =  Const of string
         and varbind = Varbind of string * term
  end

functor Term ( ) : TERM =
  struct
    datatype term = Const of string
	 and varbind = Varbind of string * term
  end

signature BUG =
  sig
    structure Term : TERM
    type progentry
    val bug : progentry list
  end

functor Bug ( structure Term : TERM ) : BUG =
  struct
    structure Term = Term
    open Term
    datatype progentry =
      Progentry of string * Term.term * Term.varbind list * Term.term
    val bug =
      [Progentry("test",Const "test",
		 [Varbind("v",Const("test"))],Const("test"))]
  end

structure Term : TERM = Term ();
structure Bug : BUG = Bug ( structure Term = Term );

Bug.bug;

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