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

SCM Repository

[smlnj] Diff of /sml/branches/gatien-branch/compiler/Elaborator/srcinfo/ens_print2.sml
ViewVC logotype

Diff of /sml/branches/gatien-branch/compiler/Elaborator/srcinfo/ens_print2.sml

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 3092, Tue Jul 1 22:23:38 2008 UTC revision 3093, Wed Jul 2 18:26:43 2008 UTC
# Line 81  Line 81 
81         print (A.prAcc access ^ ": \"" ^ stoS name ^         print (A.prAcc access ^ ": \"" ^ stoS name ^
82                "\" " ^ rtoS def ^ " has type ");                "\" " ^ rtoS def ^ " has type ");
83         printer typ;         printer typ;
84         print " and";         print (", is defined in " ^ A.prAcc parent ^ " and");
85         print_instance usage         print " is used at :";
86           List.app
87               ( fn (x, y, z) =>
88                    ( print ("\n\t" ^ rtoS x ^ " with type ");
89                      printer y;
90                      print (", access " ^ A.prAcc z)
91                    )
92               )
93               (!usage);
94           print "\n"
95     )     )
96    
97     (*print the different type and datatype definitions and explicit uses*)     (*print the different type and datatype definitions and explicit uses*)
# Line 136  Line 145 
145                    | _ => "others"                    | _ => "others"
146          in          in
147              print ("(" ^ A.prAcc access ^ ") " ^ stoS name ^              print ("(" ^ A.prAcc access ^ ") " ^ stoS name ^
148                     " " ^ rtoS def ^ " contains ");                     " " ^ rtoS def ^ " defined in ");
149              List.app (fn (x, y, z)=> print ("\n\t("^Int.toString x^","^              case parent of
150                    NONE => print "the toplevel"
151                  | SOME parent' => print (A.prAcc parent');
152                case elements of
153                    Def el => (
154                    print " contains ";
155                    List.app ( fn (x, y, z)=>
156                                  print ("\n\t(" ^ Int.toString x ^ "," ^
157                                              stoS y^","^print_key z^")")                                              stoS y^","^print_key z^")")
158                       ) elements;                           ) el
159                    )
160                  | Constraint (el, a) =>
161                    ( print (" constrains " ^ A.prAcc a ^ " : ");
162                      List.app ( fn (x, y, z) =>
163                                    print ("\n\t(" ^ Int.toString x ^ "," ^
164                                           stoS y ^ ","^Int.toString z ^ ")")
165                               ) el
166                    )
167                  | Alias a => print (" aliases " ^ A.prAcc a);
168              print " and is used at : ";              print " and is used at : ";
169              List.app (fn x => print ("\n\t" ^ rtoS x)) (!usage);              List.app (fn x => print ("\n\t" ^ rtoS x)) (!usage);
170              print "\n"              print "\n"

Legend:
Removed from v.3092  
changed lines
  Added in v.3093

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