Changeset 8710

Show
Ignore:
Timestamp:
01/16/06 20:33:24 (3 years ago)
Author:
audreyt
Message:

* 1**Inf is now hardcoded to 1.

Files:
2 modified

Legend:

Unmodified
Added
Removed
  • src/Pugs/Prim/Numeric.hs

    r8055 r8710  
    5555op2Exp :: Val -> Val -> Eval Val 
    5656op2Exp x y = do 
     57    num1 <- fromVal =<< fromVal' x 
     58    if num1 == (1 :: VNum) then return (VInt 1) else do 
    5759    num2 <- fromVal =<< fromVal' y 
    5860    case reverse $ show (num2 :: VNum) of 
  • t/operators/arith.t

    r8080 r8710  
    324324is 0.9**Inf, 0,   "0.9**Inf converges towards 0"; 
    325325is 1.1**Inf, Inf, "1.1**Inf diverges towards Inf"; 
    326 is 1**Inf, 1 , :todo("1**Inf == 1"); 
     326is 1**Inf, 1; 
    327327 
    328328#flunk("1**Inf is platform-specific -- it's 1 on OSX and NaN elsewhere", :todo);