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

SCM Repository

[diderot] Diff of /branches/charisee/src/compiler/mid-to-low/lowSet.sml
ViewVC logotype

Diff of /branches/charisee/src/compiler/mid-to-low/lowSet.sml

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

revision 3349, Tue Oct 27 15:16:36 2015 UTC revision 3444, Fri Nov 20 01:11:12 2015 UTC
# Line 1  Line 1 
1  (* Expands probe ein  (* Expands probe ein
2   *   *
3   * This code is part of the Diderot Project (http://diderot-language.cs.uchicago.edu)   * COPYRIGHT (c) 2012 The Diderot Project (http://diderot-language.cs.uchicago.edu)
  *  
  * COPYRIGHT (c) 2015 The University of Chicago  
4   * All rights reserved.   * All rights reserved.
5   *)   *)
6    
# Line 18  Line 16 
16    
17      fun hash (_,DstIL.OP(op1,_))=DstOp.hash op1      fun hash (_,DstIL.OP(op1,_))=DstOp.hash op1
18        | hash(_,DstIL.LIT m)=Literal.hash m        | hash(_,DstIL.LIT m)=Literal.hash m
19          | hash (_,DstIL.CONS _ )=0w17
20    
21     fun cmp(e1,e2)=Word.compare(hash e1, hash e2)     fun cmp(e1,e2)=Word.compare(hash e1, hash e2)
22    
# Line 40  Line 39 
39          LowSet.find(          LowSet.find(
40              (fn (_,DstIL.LIT m)=> Literal.same(n,m)              (fn (_,DstIL.LIT m)=> Literal.same(n,m)
41              | _ => false))) tbl              | _ => false))) tbl
42           (* | setFind (tbl,DstIL.CONS(ty0,arg0))= (
43                LowSet.find(
44                (fn (_,DstIL.CONS(ty1,arg1))=>(LowILTypes.same(ty0,ty1) andalso allEq(arg0,arg1)) | _ => false)
45                    )) tbl*)
46        | setFind (tbl, e)= NONE        | setFind (tbl, e)= NONE
47    
48      fun rtnVar (tbl,(lhs,rhs))=(case setFind(tbl,rhs)      fun rtnVar (tbl,(lhs,rhs))=(case setFind(tbl,rhs)

Legend:
Removed from v.3349  
changed lines
  Added in v.3444

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