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 2426 - (download) (annotate)
Wed Apr 18 19:19:16 2007 UTC (12 years, 5 months ago) by gkuan
File size: 613 byte(s)
post FLINT primop overhaul pretty-printing revision reference outputs
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
12.sml:45.12-45.57 Warning: match nonexhaustive
          x :: _ => ...
  
val foo = fn : B.L.E.r -> unit


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