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

SCM Repository

[diderot] Diff of /branches/vis15/src/compiler/translate/translate-ty.sml
ViewVC logotype

Diff of /branches/vis15/src/compiler/translate/translate-ty.sml

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

revision 4313, Sat Jul 30 11:46:44 2016 UTC revision 4314, Sat Jul 30 13:01:43 2016 UTC
# Line 19  Line 19 
19             of Ty.T_Bool => DstTy.BoolTy             of Ty.T_Bool => DstTy.BoolTy
20              | Ty.T_Int => DstTy.IntTy              | Ty.T_Int => DstTy.IntTy
21              | Ty.T_String => DstTy.StringTy              | Ty.T_String => DstTy.StringTy
             | Ty.T_Sequence(ty, optDim) => DstTy.SeqTy(tr ty, optDim)  
             | Ty.T_Strand n => DstTy.StrandTy n  
22              | Ty.T_Tensor dd => let              | Ty.T_Tensor dd => let
23                  fun cvtDim 1 = NONE                  fun cvtDim 1 = NONE
24                    | cvtDim d = SOME d                    | cvtDim d = SOME d
25                  in                  in
26                    DstTy.TensorTy(List.mapPartial cvtDim dd)                    DstTy.TensorTy(List.mapPartial cvtDim dd)
27                  end                  end
28                | Ty.T_Sequence(ty, optDim) => DstTy.SeqTy(tr ty, optDim)
29                | Ty.T_Tuple tys => DstTy.TupleTy(List.map tr tys)
30                | Ty.T_Strand n => DstTy.StrandTy n
31              | Ty.T_Image info => DstTy.ImageTy info              | Ty.T_Image info => DstTy.ImageTy info
32              | Ty.T_Field fld => DstTy.FieldTy              | Ty.T_Field fld => DstTy.FieldTy
33              | Ty.T_Kernel => DstTy.KernelTy              | Ty.T_Kernel => DstTy.KernelTy

Legend:
Removed from v.4313  
changed lines
  Added in v.4314

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