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

SCM Repository

[diderot] Diff of /branches/charisee_dev/src/compiler/high-to-mid/handleEin.sml
ViewVC logotype

Diff of /branches/charisee_dev/src/compiler/high-to-mid/handleEin.sml

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

revision 3166, Sun Mar 29 20:00:49 2015 UTC revision 3174, Mon Mar 30 11:46:58 2015 UTC
# Line 148  Line 148 
148          (* **************** split phase ************* *)          (* **************** split phase ************* *)
149          val (newbies5)= Split.splitEinApp einapp3          val (newbies5)= Split.splitEinApp einapp3
150            val _ =testp["\n\n Returning \n\n =>",            val _ =testp["\n\n Returning \n\n =>",
151              String.concatWith",\n\t"(List.map printEINAPP newbies5),              String.concatWith",\n\t"(List.map printEINAPP newbies5)]
152              "\n",star,"Number of pieces: ",Int.toString (List.length(newbies5))]             (* val _ =print(String.concat[
153                "\n",star,"Number of pieces: ",Int.toString (List.length(newbies5))])
154    *)
155           (* ************** ProbeEIN *********** *)           (* ************** ProbeEIN *********** *)
           val code=List.map (fn e=>ProbeEin.expandEinOp e) (newbies5)  
156    
157              (*val code=List.map (fn e=>ProbeEin.expandEinOp e) (newbies5)*)
158            val fieldset= einSet.EinSet.empty
159            fun iter([],_)=[]
160             | iter(e1::es,fieldset)= let
161                val (e2,fieldset) = ProbeEin.expandEinOp(e1,fieldset)
162                in [e2]@(iter(es,fieldset))
163                end
164            val code=iter(newbies5, fieldset)
165    (*val _ =print(String.concat[
166    "\n",star,"Number of pieces now: ",Int.toString (List.length(code))])
167    *)
168          val flatcode= List.foldr op@ [] code          val flatcode= List.foldr op@ [] code
169          (*val _=List.map (fn(_,DstIL.EINAPP(e,_))=>checkEin.checkEIN e | _=> 1) flatcode*)          (*val _=List.map (fn(_,DstIL.EINAPP(e,_))=>checkEin.checkEIN e | _=> 1) flatcode*)
170    

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

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