Lev Walkin | ab1d1e1 | 2017-10-03 18:43:12 -0700 | [diff] [blame] | 1 | -- Test the REAL (floating point) type. |
| 2 | T ::= REAL |
Lev Walkin | c44edc0 | 2017-10-04 03:28:38 -0700 | [diff] [blame] | 3 | T ::= REAL (WITH COMPONENTS { mantissa (-16384..16384), base (2), exponent (-10..10)}) |
Lev Walkin | f11ebf8 | 2017-10-11 00:37:27 -0700 | [diff] [blame] | 4 | T ::= REAL (WITH COMPONENTS { mantissa (-16777215..16777215), base (2), exponent (-149..104)}) |
Lev Walkin | c44edc0 | 2017-10-04 03:28:38 -0700 | [diff] [blame] | 5 | T ::= REAL (WITH COMPONENTS { mantissa (-9007199254740991..9007199254740991), base (2), exponent (-1074..971)}) |
Lev Walkin | f11ebf8 | 2017-10-11 00:37:27 -0700 | [diff] [blame] | 6 | T ::= Real32 Real32 ::= REAL (WITH COMPONENTS { mantissa (-16777215..16777215), base (2), exponent (-149..104)}) |
Lev Walkin | c44edc0 | 2017-10-04 03:28:38 -0700 | [diff] [blame] | 7 | T ::= Real64 Real64 ::= REAL (WITH COMPONENTS { mantissa (-9007199254740991..9007199254740991), base (2), exponent (-1074..971)}) |