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

SCM Repository

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

Diff of /branches/pure-cfg/src/compiler/basis/basis-vars.sml

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

revision 823, Thu Apr 14 14:28:33 2011 UTC revision 824, Thu Apr 14 15:54:24 2011 UTC
# Line 174  Line 174 
174                  [t, t, Ty.realTy, Ty.realTy, Ty.realTy] --> t                  [t, t, Ty.realTy, Ty.realTy, Ty.realTy] --> t
175                end))                end))
176    
177      (* exponentiation; we distinguish between interger and real exponents to allow x^2 to be compiled
178       * as x*x.
179       *)
180        val exp_ri = monoVar(N.op_exp, [Ty.realTy, Ty.T_Int] --> Ty.realTy)
181        val exp_rr = monoVar(N.op_exp, [Ty.realTy, Ty.realTy] --> Ty.realTy)
182    
183    (***** non-overloaded operators, etc. *****)    (***** non-overloaded operators, etc. *****)
184    
185      val op_at = polyVar (N.op_at, all([DK, NK, SK],      val op_at = polyVar (N.op_at, all([DK, NK, SK],

Legend:
Removed from v.823  
changed lines
  Added in v.824

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