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/bugs/outputs/bug1092.2.out
ViewVC logotype

View of /tests/trunk/bugs/outputs/bug1092.2.out

Parent Directory Parent Directory | Revision Log Revision Log


Revision 2569 - (download) (annotate)
Fri May 18 21:17:46 2007 UTC (12 years, 5 months ago) by gkuan
File size: 1119 byte(s)
moved outputs/test.post-110.63/61 to outputs/tests
val it = () : unit
structure Ast :
  sig
    datatype Mode = Mode of {body:ModeBodyDecl, ifc:Ifc option}
    datatype Ifc = IfcBody
    datatype Decl = Decl
    datatype ModeBodyDecl = ModeBodyDeclBody of ModeBody
    datatype ModeBody
      = ModeBody of {children_sect:unit, exec_sect:unit list,
                     handler_sect:unit list, trans_sect:unit list * unit list}
  end
opening Ast
  
  datatype Mode = Mode of {body:ModeBodyDecl, ifc:Ifc option}
  datatype Ifc = IfcBody
  datatype Decl = Decl
  datatype ModeBodyDecl = ModeBodyDeclBody of ModeBody
  datatype ModeBody
    = ModeBody of {children_sect:unit, exec_sect:unit list,
                   handler_sect:unit list, trans_sect:unit list * unit list}
val z3 =
  {body=ModeBodyDeclBody
          (ModeBody
             {children_sect=(),exec_sect=[],handler_sect=[],
              trans_sect=([],[])}),ifc=SOME IfcBody}
  : {body:ModeBodyDecl, ifc:Ifc option}
val it =
  Mode
    {body=ModeBodyDeclBody
            (ModeBody
               {children_sect=(),exec_sect=[],handler_sect=[],
                trans_sect=([],[])}),ifc=SOME IfcBody} : Mode


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