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

SCM Repository

[smlnj] Annotation of /sml/branches/FLINT/src/compiler/PervEnv/Basis/ieee-real.sig
ViewVC logotype

Annotation of /sml/branches/FLINT/src/compiler/PervEnv/Basis/ieee-real.sig

Parent Directory Parent Directory | Revision Log Revision Log


Revision 227 - (view) (download) (as text)

1 : monnier 89 (* sigs/ieee-real.sig
2 :     *
3 :     * COPYRIGHT (c) 1996 AT&T Bell Laboratories.
4 :     *)
5 :    
6 :     signature IEEE_REAL =
7 :     sig
8 :    
9 :     exception Unordered
10 :    
11 :     datatype real_order = LESS | EQUAL | GREATER | UNORDERED
12 :    
13 :     datatype nan_mode = QUIET | SIGNALLING
14 :    
15 :     datatype float_class
16 :     = NAN of nan_mode
17 :     | INF
18 :     | ZERO
19 :     | NORMAL
20 :     | SUBNORMAL
21 :    
22 :     datatype rounding_mode
23 :     = TO_NEAREST
24 :     | TO_NEGINF
25 :     | TO_POSINF
26 :     | TO_ZERO
27 :    
28 :     val setRoundingMode : rounding_mode -> unit
29 :     val getRoundingMode : unit -> rounding_mode
30 :    
31 :     type decimal_approx = {
32 :     kind : float_class,
33 :     sign : bool,
34 :     digits : int list,
35 :     exp : int
36 :     }
37 :    
38 :     val toString : decimal_approx -> string
39 :     val fromString : string -> decimal_approx option
40 :    
41 :     end;
42 :    
43 :    
44 :     (*
45 : monnier 227 * $Log$
46 : monnier 89 *)

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