[/] [trunk/] [src/] [graphviz/] [win-graphviz.sml] - Diff 10 ⟶ 28

Diff between revs 10 and 28
Rev 10 Rev 28
Line 1... Line 1... 
(* $Id: win-graphviz.sml 10 2007-10-31 10:06:17Z tbourke $ *)
 
(* $Id: win-graphviz.sml 28 2008-03-28 23:23:25Z tbourke $ *)
 
 
 
 
 
structure Graphviz = Graphviz (
 
structure Graphviz = Graphviz (
 
          type t = TypedDot.graph
 
          type t = TypedDot.graph
 
          val output = TypedDotIO.output
 
          val output = TypedDotIO.output
 
          val warn = fn msgs => TextIO.output (TextIO.stdErr,concat msgs ^"\n")
 
          val warn = fn msgs => TextIO.output (TextIO.stdErr,concat msgs ^"\n")
 
 
 
 
 
 
 
          fun statusToString st = let
 
 
 
              val wst = Windows.fromStatus st
 
 
 
            in SysWord.toString wst end
 
 
 
 
 
          structure Plain = TextPlain
 
          structure Plain = TextPlain
 
 
 
 
 
          structure OpSys = HackOpSys
 
          structure OpSys = HackOpSys
 
          (*structure OpSys = Windows (* Not included with SML/NJ *)*)
 
          (*structure OpSys = Windows (* Not included with SML/NJ *)*)
 
        )
 
        )
 
        )
 
        )