suzanne.soy/typed-racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Merge pull request #49 from mromyers/master

Browse Source 
Make order-of-magnitude more specific
This commit is contained in:
Sam Tobin-Hochstadt 2015-03-16 11:40:49 -04:00
commit 8288aaa160
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
typed-racket-lib/typed-racket/base-env/base-env.rkt
View File

@ -87,7 +87,7 @@
[real->floating-point-bytes (->opt -Real (one-of/c 4 8) [Univ -Bytes -Nat] -Bytes)]
[system-big-endian? (-> B)]
[order-of-magnitude (-> -PosReal -Int)]
[order-of-magnitude (cl-> [(-PosInt) -Nat] [(-PosReal) -Int])]
;; Section 4.2.5.3 (ExtFlonum-Bytes Conversions)
[floating-point-bytes->extfl (->opt -Bytes [Univ -Nat -Nat] -ExtFlonum)]