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

SCM Repository

[diderot] Diff of /branches/vis15/src/compiler/mid-ir/mid-types.sml
ViewVC logotype

Diff of /branches/vis15/src/compiler/mid-ir/mid-types.sml

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

revision 3533, Tue Dec 22 21:12:39 2015 UTC revision 3578, Tue Jan 12 19:54:13 2016 UTC
# Line 24  Line 24 
24      val realTy = TensorTy[]      val realTy = TensorTy[]
25      fun vecTy 1 = realTy      fun vecTy 1 = realTy
26        | vecTy n = TensorTy[n]        | vecTy n = TensorTy[n]
27        fun iVecTy 1 = IntTy
28          | iVecTy n = SeqTy(IntTy, SOME n)
29    
30    (* smart constructor for tensor type that prunes out dimensions with size 1 *)    (* smart constructor for tensor type that prunes out dimensions with size 1 *)
31      fun tensorTy dd = TensorTy(List.mapPartial (fn 1 => NONE | d => SOME d) dd)      fun tensorTy dd = TensorTy(List.mapPartial (fn 1 => NONE | d => SOME d) dd)

Legend:
Removed from v.3533  
changed lines
  Added in v.3578

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