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 2332, Tue Apr 2 00:35:17 2013 UTC revision 2635, Mon May 26 14:06:39 2014 UTC
# Line 186  Line 186 
186              [field' (Ty.DiffVar(k, 0), 2, [2])] --> field' (diff0, 2, [])))              [field' (Ty.DiffVar(k, 0), 2, [2])] --> field' (diff0, 2, [])))
187      val curl3D = polyVar (N.op_curl, all([DK],      val curl3D = polyVar (N.op_curl, all([DK],
188            fn [Ty.DIFF k] =>            fn [Ty.DIFF k] =>
189              [field' (Ty.DiffVar(k, 0), 3, [3])] --> field' (diff0, 2, [3])))              [field' (Ty.DiffVar(k, 0), 3, [3])] --> field' (diff0, 3, [3])))
190      end (* local *)      end (* local *)
191    
192      val lt_ii = monoVar(N.op_lt, [Ty.T_Int, Ty.T_Int] --> Ty.T_Bool)      val lt_ii = monoVar(N.op_lt, [Ty.T_Int, Ty.T_Int] --> Ty.T_Bool)

Legend:
Removed from v.2332  
changed lines
  Added in v.2635

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