Re: [Chicken-users] fixnum-specific math operators patch

[Will M Farr]

Kon (and others),

On Sep 1, 2006, at 10:59 AM, Kon Lovett wrote:

> But Felix's point about 'ensure' should help w/ syntax forms that  
> have domain & range restrictions.

Yeah---that would be The Right Way (TM).  (And it allows for more  
situation-adapted tests.)

By the way (maybe felix can answer this), if I define a structure with

(define-record foo bar baz)

does it define the accessors and setters as

(define (foo-bar f)
  (ensure foo? f)
  (block-ref f 0))
...

I'm curious because I've read in other places (one of Manuel  
Serrano's papers on type inference) that type checks can take up a  
large fraction of the runtime, and it would be nice to eliminate as  
many as possible in (unsafe) code.

Will