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

SCM Repository

[diderot] Diff of /branches/vis15/src/compiler/codegen/target-spec.sml
ViewVC logotype

Diff of /branches/vis15/src/compiler/codegen/target-spec.sml

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

revision 3922, Wed Jun 1 17:02:34 2016 UTC revision 3923, Wed Jun 1 17:18:20 2016 UTC
# Line 85  Line 85 
85    (* returns true if the program does not use inter-strand communication *)    (* returns true if the program does not use inter-strand communication *)
86      fun noComm (p : t) = not(#hasCom p)      fun noComm (p : t) = not(#hasCom p)
87    
88    (* return true if we need to keep two copies of the state: in and out. *)    (* return true if we need to keep two copies of the state: in and out.
89       * NOTE: this function should agree with Properties.dualState in common/properties.sml
90       *)
91      fun dualState (p : t) = (#hasCom p)      fun dualState (p : t) = (#hasCom p)
92    
93    (* convert a target specification to the name of the runtime library *)    (* convert a target specification to the name of the runtime library *)

Legend:
Removed from v.3922  
changed lines
  Added in v.3923

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