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/modules/outputs.post-110.61/273.out
ViewVC logotype

View of /tests/trunk/modules/outputs.post-110.61/273.out

Parent Directory Parent Directory | Revision Log Revision Log


Revision 2461 - (download) (annotate)
Sat Apr 28 20:36:18 2007 UTC (12 years, 7 months ago) by gkuan
File size: 1366 byte(s)
modules regression tests updated to multiline structure signature format
val it = () : unit
signature POINT =
  sig
    type point
    val <= : point * point -> bool
  end
signature INTERVAL =
  sig
    type interval
    type point
    val mk : point * point -> interval
    val left : interval -> point
    val right : interval -> point
  end
functor Interval(P: sig
                      type point
                      val <= : point * point -> bool
                    end) :
                sig
                  type interval
                  type point
                  val mk : point * point -> interval
                  val left : interval -> point
                  val right : interval -> point
                end
structure IntPoint : POINT
functor G(<param>: sig functor Interv : <fctsig> end) :
         sig
           structure NatNumInt : <sig>
         end
functor RealInterval(P: sig
                          type point
                          val <= : point * point -> bool
                        end) :
                    sig
                      type interval
                      type point
                      val mk : point * point -> interval
                      val left : interval -> point
                      val right : interval -> point
                    end
structure ResultG :
  sig
    structure NatNumInt : <sig>
  end
structure TG : INTERVAL
val testG = 9.0 : ResultG.NatNumInt.point


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