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

SCM Repository

[diderot] Diff of /branches/vis15/src/compiler/ein/ein-sums.sml
ViewVC logotype

Diff of /branches/vis15/src/compiler/ein/ein-sums.sml

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

revision 3979, Wed Jun 15 19:24:44 2016 UTC revision 3980, Wed Jun 15 19:45:21 2016 UTC
# Line 32  Line 32 
32      fun rewriteProdSum (pre, _, []) = rewriteProd pre      fun rewriteProdSum (pre, _, []) = rewriteProd pre
33        | rewriteProdSum (pre, outer, post) = rewriteProd (pre@[rewriteSum(outer, post)])        | rewriteProdSum (pre, outer, post) = rewriteProd (pre@[rewriteSum(outer, post)])
34    
35      fun findIndex (v, searchspace) = List.find (fn (x) => x = E.V v) searchspace      fun findIndex (v, searchspace) = List.find (fn x => x = E.V v) searchspace
36    
37    (* findSx : sum_indexid list*ein_exp -> index_id option    (* findSx : sum_indexid list*ein_exp -> index_id option
38     * Is c in e?. Simple lookup in the searchspace     * Is c in e?. Simple lookup in the searchspace

Legend:
Removed from v.3979  
changed lines
  Added in v.3980

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