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 2573 - (download) (annotate)
Mon May 21 05:29:47 2007 UTC (12 years, 5 months ago) by dbm
File size: 1131 byte(s)
updated output for types in inferred functor signatures
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:Ast.ModeBodyDecl, ifc:Ast.Ifc option}
  datatype Ifc = IfcBody
  datatype Decl = Decl
  datatype ModeBodyDecl = ModeBodyDeclBody of Ast.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