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

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

Parent Directory Parent Directory | Revision Log Revision Log


Revision 2469 - (download) (annotate)
Mon Apr 30 16:51:27 2007 UTC (12 years, 3 months ago) by gkuan
File size: 623 byte(s)
removed warnings from expected output and modules 307 seems to be an error in 110.63 trunk and primop3 FLINT
val it = () : unit
signature SET = sig type r end
signature GRAPH =
  sig
    structure E : sig type r end
  end
signature GRAM =
  sig
    datatype s = TERM
  end
signature LGRAPH =
  sig
    structure L :
      sig
        structure E : <sig>
      end
  end
functor F(X: sig type t end) : sig type r end
functor G(Y: sig type u end) :
         sig
           structure E : <sig>
         end
functor H(Z: sig
               datatype s = TERM
             end) :
         sig
           structure L : <sig>
         end
structure A :
  sig
    datatype s = TERM
  end
structure B : LGRAPH
val foo = fn : B.L.E.r -> unit


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