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

SCM Repository

[diderot] Diff of /branches/pure-cfg/src/compiler/cl-target/cl-target.sml
ViewVC logotype

Diff of /branches/pure-cfg/src/compiler/cl-target/cl-target.sml

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

revision 1358, Tue Jun 21 17:38:56 2011 UTC revision 1363, Wed Jun 22 17:03:17 2011 UTC
# Line 17  Line 17 
17    
18    (* translate TreeIL types to shadow types *)    (* translate TreeIL types to shadow types *)
19      fun shadowTy ty = (case ty      fun shadowTy ty = (case ty
20             of Ty.BoolTy => CLang.T_Named "cl_bool"             of Ty.BoolTy => CL.T_Named "cl_bool"
21              | Ty.StringTy => raise Fail "unexpected string type"              | Ty.StringTy => raise Fail "unexpected string type"
22              | Ty.IVecTy 1 => CL.T_Named(RN.shadowIntTy ())              | Ty.IVecTy 1 => CL.T_Named(RN.shadowIntTy ())
23              | Ty.IVecTy n => raise Fail "unexpected int vector type"              | Ty.IVecTy n => raise Fail "unexpected int vector type"

Legend:
Removed from v.1358  
changed lines
  Added in v.1363

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