/[mojave]/metaprl/theories/mc/mp_mc_fir_eval.ml
ViewVC logotype

Diff of /metaprl/theories/mc/mp_mc_fir_eval.ml

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

revision 3564 by emre, Fri Apr 5 07:07:58 2002 UTC revision 3565 by emre, Fri Apr 5 09:33:57 2002 UTC
# Line 196  Line 196 
196    
197  prim_rw reduce_uminusIntOp :  prim_rw reduce_uminusIntOp :
198     unop_exp{ uminusIntOp; tyInt; 'atom1 } <-->     unop_exp{ uminusIntOp; tyInt; 'atom1 } <-->
199     atomInt{ ."minus"{'atom1} }     atomInt{ mod_arith_signed{ naml_prec; ('atom1 *@ (-1)) } }
200    
201    (* Native ints. Arithmetic results are always atomRawInt's with
202     * the appropriate precision and signing (we get a value). *)
203    
204    prim_rw reduce_uminusRawIntOp :
205       unop_exp{ uminusRawIntOp{'p; 's}; tyRawInt{'p; 's}; 'atom1 } <-->
206       atomRawInt{ 'p; 's; mod_arith{ 'p; 's; ('atom1 *@ (-1)) } }
207    
208  (*  (*
209   * Binary operations.   * Binary operations.

Legend:
Removed from v.3564  
changed lines
  Added in v.3565

  ViewVC Help
Powered by ViewVC 1.1.26