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

View of /tests/trunk/modules/outputs.post-110.61/244.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: 617 byte(s)
modules regression tests updated to multiline structure signature format
val it = () : unit
signature Index = sig type A end
signature Square =
  sig
    structure Source : sig type A end
    structure Target : sig type A end
    val top : Source.A -> Target.A
  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