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/248.out
ViewVC logotype

View of /tests/trunk/modules/outputs.post-110.61/248.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: 821 byte(s)
modules regression tests updated to multiline structure signature format
val it = () : unit
signature Index =
  sig
    type A
    type I
    val index : A -> I
  end
signature Square =
  sig
    structure Source :
      sig
        type A
        type I
        val index : A -> I
      end
    structure Target :
      sig
        type A
        type I
        val index : A -> I
      end
    val top : Source.A -> Target.A
    val bottom : Source.I -> Target.I
  end
signature FunctorSig =
  sig
    type 'a C
    val map : ('a -> 'b) -> 'a C -> 'b C
  end
functor MapIndex(<param>: sig
                            structure F : <sig>
                          end) :
                sig functor <functor> : <fctsig> end
functor MapSquare(<param>: sig
                             structure G : <sig>
                           end) :
                 sig functor <functor> : <fctsig> end


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