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

Clarify comment re `fixnum?' non-use at the syntax level, and add a note

Browse Source 
to the `fixnum?' documentation.

original commit: 9a485064ed81366579f2a5c7cebf591de7e07be2
This commit is contained in:
Eli Barzilay 2010-11-05 01:46:01 -04:00
parent 9c5a1e0086
commit 46cbe83ff3
1 changed files with 4 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
collects/typed-scheme/typecheck/tc-expr-unit.rkt
View File

@ -21,9 +21,10 @@
(import tc-if^ tc-lambda^ tc-app^ tc-let^ check-subforms^)
(export tc-expr^)
;; Is the number a fixnum on all the platforms Racket supports?
;; This relies on Racket being compiled only on 32+ bit systems.
;; This check is done at compile time to typecheck literals.
;; Is the number a fixnum on *all* the platforms Racket supports? This
;; works because Racket compiles only on 32+ bit systems. This check is
;; done at compile time to typecheck literals -- so use it instead of
;; `fixnum?' to avoid creating platform-dependent .zo files.
(define (portable-fixnum? n)
(and (exact-integer? n)
(< n (expt 2 31))