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

SCM Repository

[diderot] Diff of /branches/lamont/src/compiler/c-util/tree-to-c.sml
ViewVC logotype

Diff of /branches/lamont/src/compiler/c-util/tree-to-c.sml

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

revision 2502, Mon Nov 4 21:33:35 2013 UTC revision 2503, Mon Nov 4 22:05:26 2013 UTC
# Line 57  Line 57 
57      structure Op = IL.Op      structure Op = IL.Op
58      structure Ty = IL.Ty      structure Ty = IL.Ty
59      structure V = IL.Var      structure V = IL.Var
60        structure RTC = ReductionToC
61    
62    
63      datatype var = datatype CLang.typed_var      datatype var = datatype CLang.typed_var
64      type env = CLang.typed_var TreeIL.Var.Map.map      type env = CLang.typed_var TreeIL.Var.Map.map
# Line 764  Line 766 
766              CL.mkBlock stms              CL.mkBlock stms
767            end            end
768    
769      and trReduce (env, IL.Block{locals, body}) = case locals      and trReduce (env, b as IL.Block{locals, body}) = case locals
770            of [] => CL.mkBlock []            of [] => CL.mkBlock []
771             | _  => let             | _  => let
772             (*) val t as ENV{info,...} = env *)
773            val (tStrandty,strandTy)= case (List.find (fn (x) => case (V.ty x)            val (tStrandty,strandTy)= case (List.find (fn (x) => case (V.ty x)
774                                                of Ty.StrandSeqTy(_) => true                                                of Ty.StrandSeqTy(_) => true
775                                                 | _ => false) locals)                                                 | _ => false) locals)

Legend:
Removed from v.2502  
changed lines
  Added in v.2503

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