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

SCM Repository

[diderot] Diff of /branches/vis15/src/compiler/cxx-util/tree-to-cxx.sml
ViewVC logotype

Diff of /branches/vis15/src/compiler/cxx-util/tree-to-cxx.sml

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

revision 3899, Mon May 23 13:07:16 2016 UTC revision 3917, Sat May 28 16:41:39 2016 UTC
# Line 24  Line 24 
24    
25      val trAssign : CodeGenEnv.t * CLang.exp * TreeIR.exp -> CLang.stm list      val trAssign : CodeGenEnv.t * CLang.exp * TreeIR.exp -> CLang.stm list
26    
27      (* generate code to register an error message (require that a world pointer "wrld" is in scope) *)
28        val errorMsgAdd : CLang.exp -> CLang.stm
29    
30        val trParam : CodeGenEnv.t -> TreeIR.var -> CLang.param
31    
32    end = struct    end = struct
33    
34      structure CL = CLang      structure CL = CLang
# Line 318  Line 323 
323                        val stm = (case ty                        val stm = (case ty
324                               of APITypes.SeqTy(ty, NONE) =>                               of APITypes.SeqTy(ty, NONE) =>
325                                    GenLoadNrrd.loadSeqFromFile (lvalueVar (env, lhs), ty, CL.mkStr nrrd)                                    GenLoadNrrd.loadSeqFromFile (lvalueVar (env, lhs), ty, CL.mkStr nrrd)
326                                | APITypes.ImageTy(dim, shape) =>                                | APITypes.ImageTy _ =>
327                                    GenLoadNrrd.loadImage (lvalueVar (env, lhs), dim, CL.mkStr nrrd)                                    GenLoadNrrd.loadImage (lvalueVar (env, lhs), CL.mkStr nrrd)
328                                | _ => raise Fail(concat[                                | _ => raise Fail(concat[
329                                      "bogus type ", APITypes.toString ty, " for LoadNrrd"                                      "bogus type ", APITypes.toString ty, " for LoadNrrd"
330                                    ])                                    ])
# Line 360  Line 365 
365              CL.mkBlock (dcls @ trStms (env, body))              CL.mkBlock (dcls @ trStms (env, body))
366            end            end
367    
368        fun errorMsgAdd msg =
369              CL.mkCall("biffMsgAdd", [CL.mkIndirect(CL.mkVar "wrld", "_errors"), msg])
370    
371        fun trParam env x = let
372              val x' = V.name x
373              in
374                Env.insert (env, x, x');
375                CL.PARAM([], trType(env, V.ty x), x')
376              end
377    
378    end    end

Legend:
Removed from v.3899  
changed lines
  Added in v.3917

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