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 3188, Tue Mar 31 21:10:27 2015 UTC revision 3189, Thu Apr 2 18:49:21 2015 UTC
# Line 519  Line 519 
519                  [t, t] --> t                  [t, t] --> t
520                end))                end))
521    
522      val fn_normalize_t = polyVar (N.fn_normalize, all([NK],          val fn_normalize_t = polyVar (N.fn_normalize, all([SK],
523            fn [Ty.DIM d] => let              fn [Ty.SHAPE dd] => let
524                val t = Ty.T_Tensor(Ty.Shape[Ty.DimVar d])                  val t = Ty.T_Tensor(Ty.ShapeVar dd)
525                in                in
526                  [t] --> t                  [t] --> t
527                end))                end))
528    
529      val fn_normalize_f = polyVar (N.fn_normalize, all([DK,NK, SK],      val fn_normalize_f = polyVar (N.fn_normalize, all([DK,NK, SK],
530            fn [Ty.DIFF k, Ty.DIM d, Ty.SHAPE dd1] => let            fn [Ty.DIFF k, Ty.DIM d, Ty.SHAPE dd1] => let
531                val k0 = Ty.DiffVar(k, 0)                val k0 = Ty.DiffVar(k, 0)
# Line 614  Line 615 
615          val fn_det_t2 = monoVar (N.fn_det, detT2)          val fn_det_t2 = monoVar (N.fn_det, detT2)
616      end      end
617    
618            local
619                val detT3 = let
620                val t = matrix N3
621            in
622                [t] --> Ty.realTy
623            end
624    
625            in
626    
627                val fn_det_t3 = monoVar (N.fn_det, detT3)
628            end
629    
630          val fn_det_f2  = polyVar (N.fn_det, all([DK],          val fn_det_f2  = polyVar (N.fn_det, all([DK],
631              fn [Ty.DIFF k] => let              fn [Ty.DIFF k] => let
632                  fun field' (k, d, dd) = field(k, Ty.DimConst d, Ty.Shape(List.map Ty.DimConst dd))                  fun field' (k, d, dd) = field(k, Ty.DimConst d, Ty.Shape(List.map Ty.DimConst dd))

Legend:
Removed from v.3188  
changed lines
  Added in v.3189

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