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

SCM Repository

[diderot] Diff of /branches/lamont/src/compiler/ast/types.sml
ViewVC logotype

Diff of /branches/lamont/src/compiler/ast/types.sml

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

revision 2094, Tue Nov 20 15:12:37 2012 UTC revision 2095, Tue Nov 20 15:15:55 2012 UTC
# Line 10  Line 10 
10  structure Types =  structure Types =
11    struct    struct
12    
13    
14    (* union type for meta variables and meta-variable bindings *)    (* union type for meta variables and meta-variable bindings *)
15      datatype ('ty, 'diff, 'shape, 'dim) kind      datatype ('ty, 'diff, 'shape, 'dim) kind
16        = TYPE of 'ty             (* ranges over types *)        = TYPE of 'ty             (* ranges over types *)
# Line 23  Line 24 
24        | T_Int        | T_Int
25        | T_String        | T_String
26        | T_Strand of Atom.atom        | T_Strand of Atom.atom
27          | T_Set of strand_sets list
28        | T_Sequence of ty * dim  (* fixed-sized sequence of values *)        | T_Sequence of ty * dim  (* fixed-sized sequence of values *)
29        | T_DynSequence of ty     (* dynamically sized sequence of values *)        | T_DynSequence of ty     (* dynamically sized sequence of values *)
30      (* convolution kernel; argument is number of levels of differentiation *)      (* convolution kernel; argument is number of levels of differentiation *)
# Line 42  Line 44 
44          }          }
45        | T_Fun of ty list * ty        | T_Fun of ty list * ty
46    
47        (* various strand sets *)
48        and strand_sets
49           = SS_Active
50           | SS_Stable
51           | SS_Dead
52    
53    (* type variables; the kind field restricts their range *)    (* type variables; the kind field restricts their range *)
54      and ty_var = TV of {      and ty_var = TV of {
55            id : Stamp.stamp,            id : Stamp.stamp,

Legend:
Removed from v.2094  
changed lines
  Added in v.2095

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