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

SCM Repository

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

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

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

revision 4431, Thu Aug 18 23:21:27 2016 UTC revision 4432, Fri Aug 19 15:10:12 2016 UTC
# Line 15  Line 15 
15                                           * is handled in code.                                           * is handled in code.
16                                           *)                                           *)
17        | LoadSeq of string               (* load a sequence from a file *)        | LoadSeq of string               (* load a sequence from a file *)
18        | Proxy of string * ImageInfo.info (* input image specified by proxy *)        | Proxy of string * ImageInfo.t   (* input image specified by proxy *)
19        | Image of ImageInfo.info         (* input image w/o proxy *)        | Image of ImageInfo.t            (* input image w/o proxy *)
20    
21      datatype 'var input = INP of {      datatype 'var input = INP of {
22          var : 'var,                     (* the global input variable *)          var : 'var,                     (* the global input variable *)
# Line 36  Line 36 
36    
37      val toString : 'a input -> string      val toString : 'a input -> string
38    
39      val imageInfo : 'a input -> ImageInfo.info option      val imageInfo : 'a input -> ImageInfo.t option
40    
41    (* return true if the initialization specifies that there is a default value *)    (* return true if the initialization specifies that there is a default value *)
42      val isDefault : input_init -> bool      val isDefault : input_init -> bool
# Line 52  Line 52 
52                                           * is handled in the constInit block.                                           * is handled in the constInit block.
53                                           *)                                           *)
54        | LoadSeq of string               (* load a sequence from a file *)        | LoadSeq of string               (* load a sequence from a file *)
55        | Proxy of string * ImageInfo.info (* input image specified by proxy *)        | Proxy of string * ImageInfo.t   (* input image specified by proxy *)
56        | Image of ImageInfo.info         (* input image w/o proxy *)        | Image of ImageInfo.t            (* input image w/o proxy *)
57    
58      datatype 'var input = INP of {      datatype 'var input = INP of {
59          var : 'var,                     (* the global input variable *)          var : 'var,                     (* the global input variable *)

Legend:
Removed from v.4431  
changed lines
  Added in v.4432

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