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 2606, Wed Apr 30 16:05:25 2014 UTC revision 2608, Fri May 2 18:04:54 2014 UTC
# Line 176  Line 176 
176                [t, Ty.realTy] --> t                [t, Ty.realTy] --> t
177              end))              end))
178    
179        val div_ss = polyVar(N.op_mul, all([DK,NK],
180            fn [Ty.DIFF k, Ty.DIM d] => let
181            val t = Ty.T_Field{diff = Ty.DiffVar(k, 0), dim = Ty.DimVar d, shape = Ty.Shape []}
182            in
183                [t, t] --> t
184            end))
185    
186    
187    (* exponentiation; we distinguish between integer and real exponents to allow x^2 to be compiled    (* exponentiation; we distinguish between integer and real exponents to allow x^2 to be compiled
188     * as x*x.     * as x*x.
189     *)     *)

Legend:
Removed from v.2606  
changed lines
  Added in v.2608

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