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

SCM Repository

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

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

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

revision 179, Tue Jul 27 20:43:23 2010 UTC revision 185, Wed Jul 28 17:11:09 2010 UTC
# Line 167  Line 167 
167                end))                end))
168    
169    (* functions *)    (* functions *)
170      val fn_CL = polyVar (N.fn_CL, ty([tensor[N3, N3]] --> Ty.realTy))      val fn_CL = monoVar (N.fn_CL, [tensor[N3, N3]] --> Ty.realTy)
171    
172      val fn_convolve = polyVar (N.fn_convolve, all([DK, NK, SK],      val fn_convolve = polyVar (N.fn_convolve, all([DK, NK, SK],
173              fn [Ty.DIFF k, Ty.DIM d, Ty.SHAPE dd] => let              fn [Ty.DIFF k, Ty.DIM d, Ty.SHAPE dd] => let
# Line 236  Line 236 
236    (* internal variables *)    (* internal variables *)
237      val i2r = monoVar (Atom.atom "$i2r", [Ty.T_Int] --> Ty.realTy)      (* integer to real conversion *)      val i2r = monoVar (Atom.atom "$i2r", [Ty.T_Int] --> Ty.realTy)      (* integer to real conversion *)
238      val input = polyVar (Atom.atom "$input", all([TK],      val input = polyVar (Atom.atom "$input", all([TK],
239                  fn [Ty.TYPE tv] => [Ty.T_String] --> Ty.T_Var tv))
240        val optInput = polyVar (Atom.atom "$optional-input", all([TK],
241                fn [Ty.TYPE tv] => [Ty.T_String, Ty.T_Var tv] --> Ty.T_Var tv))                fn [Ty.TYPE tv] => [Ty.T_String, Ty.T_Var tv] --> Ty.T_Var tv))
242      end (* local *)      end (* local *)
243    end    end

Legend:
Removed from v.179  
changed lines
  Added in v.185

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