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 3900, Mon May 23 15:20:24 2016 UTC revision 3917, Sat May 28 16:41:39 2016 UTC
# Line 27  Line 27 
27    (* generate code to register an error message (require that a world pointer "wrld" is in scope) *)    (* generate code to register an error message (require that a world pointer "wrld" is in scope) *)
28      val errorMsgAdd : CLang.exp -> CLang.stm      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 366  Line 368 
368      fun errorMsgAdd msg =      fun errorMsgAdd msg =
369            CL.mkCall("biffMsgAdd", [CL.mkIndirect(CL.mkVar "wrld", "_errors"), msg])            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.3900  
changed lines
  Added in v.3917

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