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

SCM Repository

[diderot] Diff of /branches/vis15/src/compiler/cfg-ir/domain-sig.sml
ViewVC logotype

Diff of /branches/vis15/src/compiler/cfg-ir/domain-sig.sml

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

revision 3474, Wed Dec 2 18:26:40 2015 UTC revision 3475, Wed Dec 2 18:48:58 2015 UTC
# Line 11  Line 11 
11  signature DOMAIN =  signature DOMAIN =
12    sig    sig
13    
14      structure IL : SSA      structure IR : SSA
15      type t      type t
16    
17      val bottom : t      val bottom : t
18      val join : t list -> t      val join : t list -> t
19      val transfer : t * IL.node -> t      val transfer : t * IR.node -> t
20    
21      val same : t * t -> bool      val same : t * t -> bool
22    

Legend:
Removed from v.3474  
changed lines
  Added in v.3475

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