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

SCM Repository

[diderot] Diff of /branches/vis12/src/compiler/basis/basis.sml
ViewVC logotype

Diff of /branches/vis12/src/compiler/basis/basis.sml

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

revision 1925, Sat Jun 23 14:16:09 2012 UTC revision 1926, Sat Jun 23 18:01:57 2012 UTC
# Line 31  Line 31 
31            BV.op_norm,            BV.op_norm,
32            BV.op_not,            BV.op_not,
33          (* functions *)          (* functions *)
34              BV.fn_image,
35            BV.fn_inside,            BV.fn_inside,
36            BV.fn_length,            BV.fn_length,
37            BV.fn_load,            BV.fn_load,
# Line 93  Line 94 
94    
95      local      local
96        val restricted = List.foldl Var.Set.add' Var.Set.empty [        val restricted = List.foldl Var.Set.add' Var.Set.empty [
97                BV.fn_load                BV.fn_image, BV.fn_load
98              ]              ]
99      in      in
100      fun isRestricted x = Var.Set.member (restricted, x)      fun isRestricted x = Var.Set.member (restricted, x)

Legend:
Removed from v.1925  
changed lines
  Added in v.1926

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