Home My Page Projects Code Snippets Project Openings diderot
Summary Activity Tracker Tasks SCM

SCM Repository

[diderot] Diff of /branches/charisee_dev/src/compiler/ein/printer.sml
ViewVC logotype

Diff of /branches/charisee_dev/src/compiler/ein/printer.sml

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

revision 2394, Fri Jun 21 02:28:07 2013 UTC revision 2395, Sun Jun 23 18:51:44 2013 UTC
# Line 6  Line 6 
6        structure G = GenericEin        structure G = GenericEin
7        structure E = Ein        structure E = Ein
8        structure S = Specialize        structure S = Specialize
9        structure R = Rewrite       (* structure R = Rewrite*)
10      in      in
11    
12      fun intList l = String.concatWith "," (List.map Int.toString l)      fun intList l = String.concatWith "," (List.map Int.toString l)
# Line 45  Line 45 
45                  String.concat ["\n<",printer2(body),">","_{",Index(index,0),"}"]                  String.concat ["\n<",printer2(body),">","_{",Index(index,0),"}"]
46              end              end
47    
48          fun printerApp(R.App(e,l))= printerE(e)         (* fun printerApp(R.App(e,l))= printerE(e)
49              | printerApp(_)= ""              | printerApp(_)= ""*)
50    
51      end (* local *)      end (* local *)
52    end    end

Legend:
Removed from v.2394  
changed lines
  Added in v.2395

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