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

SCM Repository

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

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

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

revision 3997, Sun Jun 19 15:55:49 2016 UTC revision 3998, Sun Jun 19 17:12:03 2016 UTC
# Line 12  Line 12 
12      fun handleIndex e= (case e      fun handleIndex e= (case e
13          of E.C(cx,true)=> String.concat["C(",iTos(cx),")"]          of E.C(cx,true)=> String.concat["C(",iTos(cx),")"]
14          | E.C(cx,false)=> String.concat["S(",iTos(cx),")"]          | E.C(cx,false)=> String.concat["S(",iTos(cx),")"]
15          | E.V(ix)=> iTos(ix)          | E.V(ix)=>  String.concat["V(",iTos(ix),")"]
16      (*end case*))      (*end case*))
17      fun handleAlpha alpha= String.concat[String.concatWith "," (List.map handleIndex alpha)]      fun handleAlpha alpha= String.concat[String.concatWith "," (List.map handleIndex alpha)]
18      fun handleBeta(a,b)=String.concat["δ_(",handleIndex a, ",", handleIndex b,")"]      fun handleBeta(a,b)=String.concat["δ_(",handleIndex a, ",", handleIndex b,")"]

Legend:
Removed from v.3997  
changed lines
  Added in v.3998

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