Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] Annotation of /tests/trunk/bugs/outputs/bug1092.2.out
ViewVC logotype

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

Parent Directory Parent Directory | Revision Log Revision Log


Revision 2573 - (view) (download)

1 : gkuan 2462 val it = () : unit
2 :     structure Ast :
3 :     sig
4 :     datatype Mode = Mode of {body:ModeBodyDecl, ifc:Ifc option}
5 :     datatype Ifc = IfcBody
6 :     datatype Decl = Decl
7 :     datatype ModeBodyDecl = ModeBodyDeclBody of ModeBody
8 :     datatype ModeBody
9 :     = ModeBody of {children_sect:unit, exec_sect:unit list,
10 :     handler_sect:unit list, trans_sect:unit list * unit list}
11 :     end
12 :     opening Ast
13 :    
14 : dbm 2573 datatype Mode = Mode of {body:Ast.ModeBodyDecl, ifc:Ast.Ifc option}
15 : gkuan 2462 datatype Ifc = IfcBody
16 :     datatype Decl = Decl
17 : dbm 2573 datatype ModeBodyDecl = ModeBodyDeclBody of Ast.ModeBody
18 : gkuan 2462 datatype ModeBody
19 :     = ModeBody of {children_sect:unit, exec_sect:unit list,
20 :     handler_sect:unit list, trans_sect:unit list * unit list}
21 :     val z3 =
22 :     {body=ModeBodyDeclBody
23 :     (ModeBody
24 :     {children_sect=(),exec_sect=[],handler_sect=[],
25 :     trans_sect=([],[])}),ifc=SOME IfcBody}
26 :     : {body:ModeBodyDecl, ifc:Ifc option}
27 :     val it =
28 :     Mode
29 :     {body=ModeBodyDeclBody
30 :     (ModeBody
31 :     {children_sect=(),exec_sect=[],handler_sect=[],
32 :     trans_sect=([],[])}),ifc=SOME IfcBody} : Mode
33 :    

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