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

SCM Repository

[diderot] Diff of /branches/vis12/src/compiler/common/strand-util.sml
ViewVC logotype

Diff of /branches/vis12/src/compiler/common/strand-util.sml

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

revision 2806, Sat Nov 8 17:41:00 2014 UTC revision 2807, Sat Nov 8 17:55:14 2014 UTC
# Line 49  Line 49 
49    
50      fun hasProp (prop : program_prop) = List.exists (fn p => prop = p)      fun hasProp (prop : program_prop) = List.exists (fn p => prop = p)
51    
52        fun clearProp (prop : program_prop) = List.filter (fn p => (p <> prop))
53    
54    end    end

Legend:
Removed from v.2806  
changed lines
  Added in v.2807

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