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 2605, Wed Apr 30 01:46:09 2014 UTC revision 2838, Tue Nov 25 03:40:24 2014 UTC
# Line 58  Line 58 
58                 | Param(E.KRN::param, i)= String.concat[Int.toString(i), ":KRN ",Param(param, i+1)]                 | Param(E.KRN::param, i)= String.concat[Int.toString(i), ":KRN ",Param(param, i+1)]
59              | Param(_,_)=""              | Param(_,_)=""
60    
61          val str=String.concat ["\n" ,Param(params, 0)," <",printbody(body),">"," _{",Index(index,0),"}  \n "]          val str=String.concat ["-EIN-" ,Param(params, 0)," <",printbody(body),">"," _{",Index(index,0),"} "]
62          in          in
63              str              str
64          end          end

Legend:
Removed from v.2605  
changed lines
  Added in v.2838

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