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

SCM Repository

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

Annotation of /branches/vis15/src/compiler/cfg-ir/operators-sig.sml

Parent Directory Parent Directory | Revision Log Revision Log


Revision 3470 - (view) (download)

1 : jhr 3470 (* operators-sig.sml
2 :     *
3 :     * This code is part of the Diderot Project (http://diderot-language.cs.uchicago.edu)
4 :     *
5 :     * COPYRIGHT (c) 2015 The University of Chicago
6 :     * All rights reserved.
7 :     *
8 :     * Abstract interface used to parameterize the intermediate representation
9 :     * over the allowed operators.
10 :     *)
11 :    
12 :     signature OPERATORS =
13 :     sig
14 :    
15 :     type ty
16 :    
17 :     type rator
18 :    
19 :     val resultArity : rator -> int (* arity of results (usually 1) *)
20 :     val arity : rator -> int (* operator arity *)
21 :     val isPure : rator -> bool (* false for operations that have effects *)
22 :     val same : rator * rator -> bool (* equality test *)
23 :     val hash : rator -> word (* hash key *)
24 :    
25 :     val toString : rator -> string
26 :    
27 :     end

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