Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] Diff of /sml/trunk/src/smlnj-lib/Util/int-inf.sml
ViewVC logotype

Diff of /sml/trunk/src/smlnj-lib/Util/int-inf.sml

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

revision 1347, Thu Aug 28 21:59:15 2003 UTC revision 1350, Fri Sep 5 21:34:27 2003 UTC
# Line 1037  Line 1037 
1037      fun != (BI{sign=s1, digits=d1}, BI{sign=s2, digits=d2}) =      fun != (BI{sign=s1, digits=d1}, BI{sign=s2, digits=d2}) =
1038            (s1 <> s2) orelse BN.neq(d1, d2)            (s1 <> s2) orelse BN.neq(d1, d2)
1039    
     (* for testing *)  
     fun sg2b POS = false  
       | sg2b NEG = true  
     fun b2sg false = POS  
       | b2sg true = NEG  
   
     fun toInternal (BI { sign, digits }) =  
         CoreIntInf.abstract (CoreIntInf.BI { negative = sg2b sign,  
                                              digits = digits })  
     fun fromInternal i =  
         let val CoreIntInf.BI { negative, digits } = CoreIntInf.concrete i  
         in  
             BI { sign = b2sg negative, digits = digits }  
         end  
   
1040    end (* structure IntInf *)    end (* structure IntInf *)
1041    

Legend:
Removed from v.1347  
changed lines
  Added in v.1350

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