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

SCM Repository

[diderot] Diff of /branches/charisee/src/compiler/c-target/c-target.sml
ViewVC logotype

Diff of /branches/charisee/src/compiler/c-target/c-target.sml

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

revision 2627, Sat May 17 00:44:22 2014 UTC revision 2628, Wed May 21 04:02:06 2014 UTC
# Line 130  Line 130 
130                  (ENV{info=info, vMap=vMap, scope=scope}, stms)                  (ENV{info=info, vMap=vMap, scope=scope}, stms)
131                end                end
132  (* NOTE: we may be able to simplify the interface to ToC.trBlock! *)  (* NOTE: we may be able to simplify the interface to ToC.trBlock! *)
133    
134          fun block (ENV{vMap, ...}, blk) = ToC.trBlock (vMap, blk)          fun block (ENV{vMap, ...}, blk) = ToC.trBlock (vMap, blk)
135          fun exp (ENV{vMap, ...}, e) = ToC.trExp(vMap, e)          fun exp (ENV{vMap, ...}, e) = ToC.trExp(vMap, e)
136        end        end
# Line 436  Line 437 
437          fun define (Prog{strands, ...}, strandId, state) = let          fun define (Prog{strands, ...}, strandId, state) = let
438                val name = Atom.toString strandId                val name = Atom.toString strandId
439              (* the output state variable *)              (* the output state variable *)
440    
441                val outputVar = (case List.filter IL.StateVar.isOutput state                val outputVar = (case List.filter IL.StateVar.isOutput state
442                       of [] => raise Fail("no output specified for strand " ^ name)                       of [] => raise Fail("no output specified for strand " ^ name)
443                        | [x] => (IL.StateVar.ty x, IL.StateVar.name x)                        | [x] => (IL.StateVar.ty x, IL.StateVar.name x)

Legend:
Removed from v.2627  
changed lines
  Added in v.2628

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