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

SCM Repository

[diderot] Diff of /branches/charisee/src/compiler/high-il/normalize.sml
ViewVC logotype

Diff of /branches/charisee/src/compiler/high-il/normalize.sml

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

revision 3165, Sun Mar 29 19:06:39 2015 UTC revision 3166, Sun Mar 29 20:00:49 2015 UTC
# Line 61  Line 61 
61              | _ => NONE              | _ => NONE
62            (* end case *))            (* end case *))
63    
64        val testslim=0
65      val testing=0      val testing=0
66        fun testb e=(case testslim
67            of 1 => (print(String.concat e);1)
68            | _ => 1
69            (*end case*))
70      fun testp e=(case testing      fun testp e=(case testing
71          of 1 => (print(String.concat e);1)          of 1 => (print(String.concat e);1)
72          | _ => 1          | _ => 1
# Line 119  Line 124 
124     * Keeps track of the place of the argument in substitution.     * Keeps track of the place of the argument in substitution.
125     *)     *)
126      fun doRHS (lhs, IL.EINAPP (ein, args))=let      fun doRHS (lhs, IL.EINAPP (ein, args))=let
127           (* val _ = testp ["\n\n**************************\n\n\n",V.toString  lhs,"=="," ---Current: ", P.printerE(ein), (String.concatWith "," (List.map V.toString args))]*)  
128              val _ = testb ["\n\n**************************\n\n\n",V.toString  lhs,"=="," ---Current: ", P.printerE(ein), (String.concatWith "," (List.map V.toString args))]
129            fun rewrite(0,_,_, [], _)= NONE            fun rewrite(0,_,_, [], _)= NONE
130              | rewrite(_,orig,_, [], args')= SOME[(lhs,IL.EINAPP(doNormalize(orig,args'), args'))]              | rewrite(_,orig,_, [], args')= SOME[(lhs,IL.EINAPP(doNormalize(orig,args'), args'))]
131              | rewrite(change,orig, place, e::es,args')=(case (isEin e)              | rewrite(change,orig, place, e::es,args')=(case (isEin e)

Legend:
Removed from v.3165  
changed lines
  Added in v.3166

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