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

SCM Repository

[diderot] Diff of /branches/vis15/src/compiler/ein/ein.sml
ViewVC logotype

Diff of /branches/vis15/src/compiler/ein/ein.sml

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

revision 3470, Mon Nov 30 17:51:33 2015 UTC revision 3477, Thu Dec 3 15:08:09 2015 UTC
# Line 15  Line 15 
15        | FLD of int        | FLD of int
16        | KRN        | KRN
17        | IMG of int * int list        | IMG of int * int list
18    (* FIXME: need some comments here!!! *)
19      type index_kind = int      type index_kind = int
20      type field_id = int      type field_id = int
21      type tensor_id = int      type tensor_id = int
# Line 26  Line 27 
27          params : param_kind list,          params : param_kind list,
28          (* Parameters to equation are either tensors or fields *)          (* Parameters to equation are either tensors or fields *)
29          (* These variables are named using de Bruijn indexing *)          (* These variables are named using de Bruijn indexing *)
30    (* QUESTION: why is this index_kind list and not index_id list? *)
31          index : index_kind list,        (* Index variables in the equation. *)          index : index_kind list,        (* Index variables in the equation. *)
32          body : ein_exp          body : ein_exp
33        }        }

Legend:
Removed from v.3470  
changed lines
  Added in v.3477

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