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 3124, Mon Jul 21 19:50:58 2008 UTC revision 3144, Fri Jul 25 15:55:07 2008 UTC
# Line 11  Line 11 
11     val print_tycon' : Ens_types2.tycon' -> unit     val print_tycon' : Ens_types2.tycon' -> unit
12     val printer : Types.ty -> unit     val printer : Types.ty -> unit
13    
14       val print_key : Ens_types2.key -> string
15    
16     val print_var : Ens_types2.var_elem -> unit     val print_var : Ens_types2.var_elem -> unit
17     val print_type : Ens_types2.type_elem -> unit     val print_type : Ens_types2.type_elem -> unit
18     val print_cons : Ens_types2.cons_elem -> unit     val print_cons : Ens_types2.cons_elem -> unit
# Line 237  Line 239 
239           print "\n"           print "\n"
240         )         )
241    
    fun print_str ({name, access, parent, sign, def, elements, usage}:str_elem)=  
         let  
242              fun print_key k =              fun print_key k =
243                  case k of                  case k of
244                      (Var a|Str a) => Access.prAcc a             Var a => "Var " ^ Access.prAcc a
245             | Str a => "Str " ^ Access.prAcc a
246                    | _ => "others"                    | _ => "others"
247    
248       fun print_str ({name, access, parent, sign, def, elements, usage}:str_elem)=
249            let
250                val () = ()
251          in          in
252              print ("(" ^ A.prAcc access ^ ") " ^ stoS name ^              print ("(" ^ A.prAcc access ^ ") " ^ stoS name ^
253                     " " ^ rtoS def ^ " defined in ");                     " " ^ rtoS def ^ " defined in ");

Legend:
Removed from v.3124  
changed lines
  Added in v.3144

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