Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] Annotation of /sml/trunk/src/MLRISC/instructions/regionInfo.sml
ViewVC logotype

Annotation of /sml/trunk/src/MLRISC/instructions/regionInfo.sml

Parent Directory Parent Directory | Revision Log Revision Log


Revision 651 - (view) (download)

1 : leunga 591 signature REGION_INFO =
2 :     sig
3 :    
4 :     (*
5 :     * An action associated with a region:
6 :     * This can be initialization, read, or update
7 :     *
8 :     * Mutability: is the region writable?
9 :     * This can be mutatble or immutable
10 :     *
11 :     * A strong update to the same exact location always override the
12 :     * previous action.
13 :     *)
14 :     datatype action = INIT | READ | UPDATE
15 :     type kind = {action:action, strong:bool, mutable:bool}
16 :    
17 :     end
18 :    
19 :     structure RegionInfo =
20 :     struct
21 :     datatype action = INIT | READ | UPDATE
22 :     type kind = {action:action, strong:bool, mutable:bool}
23 :     end

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