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

SCM Repository

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

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

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

revision 2055, Tue Oct 23 15:22:30 2012 UTC revision 2056, Wed Oct 24 12:46:03 2012 UTC
# Line 82  Line 82 
82        | toString (INP{name, desc=SOME desc, init=SOME v, ...}) =        | toString (INP{name, desc=SOME desc, init=SOME v, ...}) =
83            String.concat[name, "(\"", String.toString desc, "\") = ", initToString v]            String.concat[name, "(\"", String.toString desc, "\") = ", initToString v]
84    
85      fun imageInfo (INP{init=NONE, ...}) = NONE      fun imageInfo (INP{init=SOME(Proxy(_, info)), ...}) = SOME info
       | imageInfo (INP{init=SOME(Proxy(_, info)), ...}) = SOME info  
86        | imageInfo (INP{init=SOME(Image info), ...}) = SOME info        | imageInfo (INP{init=SOME(Image info), ...}) = SOME info
87        | imageInfo _ = raise Fail "imageInfo: not image"        | imageInfo _ = NONE
88    
89    (* type conversion *)    (* type conversion *)
90      fun map f (INP{ty, name, desc, init}) = INP{ty = f ty, name = name, desc = desc, init = init}      fun map f (INP{ty, name, desc, init}) = INP{ty = f ty, name = name, desc = desc, init = init}

Legend:
Removed from v.2055  
changed lines
  Added in v.2056

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