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

SCM Repository

[diderot] Diff of /branches/charisee/src/compiler/basis/basis-vars.sml
ViewVC logotype

Diff of /branches/charisee/src/compiler/basis/basis-vars.sml

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

revision 2377, Mon Jun 3 19:41:56 2013 UTC revision 2492, Tue Oct 22 15:25:50 2013 UTC
# Line 340  Line 340 
340                  [Ty.T_Tensor(Ty.ShapeVar s1), Ty.T_Tensor(Ty.ShapeVar s2)]                  [Ty.T_Tensor(Ty.ShapeVar s1), Ty.T_Tensor(Ty.ShapeVar s2)]
341                    --> Ty.T_Tensor(Ty.ShapeVar s3)))                    --> Ty.T_Tensor(Ty.ShapeVar s3)))
342    
343      (* load image from nrrd *)
344        val fn_image = polyVar (N.fn_image, all([NK, SK],
345                fn [Ty.DIM d, Ty.SHAPE dd] => let
346                    val d = Ty.DimVar d
347                    val dd = Ty.ShapeVar dd
348                    in
349                      [Ty.T_String] --> Ty.T_Image{dim=d, shape=dd}
350                    end))
351    
352      val fn_inside = polyVar (N.fn_inside, all([DK, NK, SK],      val fn_inside = polyVar (N.fn_inside, all([DK, NK, SK],
353              fn [Ty.DIFF k, Ty.DIM d, Ty.SHAPE dd] => let              fn [Ty.DIFF k, Ty.DIM d, Ty.SHAPE dd] => let
354                  val k = Ty.DiffVar(k, 0)                  val k = Ty.DiffVar(k, 0)

Legend:
Removed from v.2377  
changed lines
  Added in v.2492

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