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

SCM Repository

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

Diff of /trunk/src/compiler/basis/basis-vars.sml

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

revision 82, Wed May 26 18:20:49 2010 UTC revision 83, Wed May 26 18:50:44 2010 UTC
# Line 193  Line 193 
193                    [Ty.T_String] --> Ty.T_Image{dim=d, shape=dd}                    [Ty.T_String] --> Ty.T_Image{dim=d, shape=dd}
194                  end))                  end))
195    
196        val fn_modulate = polyVar (N.fn_modulate, all([NK],
197                fn [Ty.DIM d] => let
198                    val t = Ty.T_Tensor(Ty.Shape[Ty.DimVar d])
199                    in
200                      [t, t] --> t
201                    end))
202    
203      val fn_pow = polyVar (N.fn_pow, ty([Ty.realTy, Ty.realTy] --> Ty.realTy))      val fn_pow = polyVar (N.fn_pow, ty([Ty.realTy, Ty.realTy] --> Ty.realTy))
204    
205  (*  (*
# Line 202  Line 209 
209      val fn_sin = polyVar (N.fn_sin, ty([Ty.realTy] --> Ty.realTy))      val fn_sin = polyVar (N.fn_sin, ty([Ty.realTy] --> Ty.realTy))
210    
211    (* kernels *)    (* kernels *)
212      val kn_bspln3 = polyVar (N.kn_bspln3, ty(Ty.T_Kernel(Ty.DiffConst 2)))      val kn_bspln3 = monoVar (N.kn_bspln3, Ty.T_Kernel(Ty.DiffConst 2))
213      val kn_tent = polyVar (N.kn_tent, ty(Ty.T_Kernel(Ty.DiffConst 0)))      val kn_tent = monoVar (N.kn_tent, Ty.T_Kernel(Ty.DiffConst 0))
214    
215      (* internal variables *)
216        val i2r = monoVar (Atom.atom "$i2r", [Ty.T_Int] --> Ty.realTy)      (* integer to real conversion *)
217    
218      end (* local *)      end (* local *)
219    end    end

Legend:
Removed from v.82  
changed lines
  Added in v.83

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