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

SCM Repository

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

Diff of /branches/vis12-cl/src/compiler/basis/basis-vars.sml

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

revision 2513, Thu Nov 21 16:26:45 2013 UTC revision 2514, Thu Nov 21 16:27:12 2013 UTC
# Line 208  Line 208 
208              [field' (Ty.DiffVar(k, 0), 2, [2])] --> field' (diff0, 2, [])))              [field' (Ty.DiffVar(k, 0), 2, [2])] --> field' (diff0, 2, [])))
209      val curl3D = polyVar (N.op_curl, all([DK],      val curl3D = polyVar (N.op_curl, all([DK],
210            fn [Ty.DIFF k] =>            fn [Ty.DIFF k] =>
211              [field' (Ty.DiffVar(k, 0), 3, [3])] --> field' (diff0, 2, [3])))              [field' (Ty.DiffVar(k, 0), 3, [3])] --> field' (diff0, 3, [3])))
212      end (* local *)      end (* local *)
213    
214      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.2513  
changed lines
  Added in v.2514

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