From: John Cowan co...@mercury.ccil.org
Subject: Re: [Chicken-hackers] testcase -strict-types
Date: Sat, 30 Mar 2013 21:14:49 -0400
Felix scripsit:
Strict-types means you declare that variables never change their type,
once a type has been inferred (or explicitly declared).
That sounds
From: Felix fe...@call-with-current-continuation.org
Subject: Re: [Chicken-hackers] testcase -strict-types
Date: Sun, 31 Mar 2013 15:07:33 +0200 (CEST)
From: John Cowan co...@mercury.ccil.org
Subject: Re: [Chicken-hackers] testcase -strict-types
Date: Sat, 30 Mar 2013 21:14:49 -0400
Felix
On Mar 30 2013, Felix wrote:
Though in a way the explanation is correct. -strict-types assumes
'() to be null from the initialization. Short of a way to declare
the type of foobar as (list-of whatever) this fails when it's used
as the initial and correct value of type (list-of whatever) with
On Mar 31 2013, Felix wrote:
From: Peter Bex peter@xs4all.nl
Subject: Re: [Chicken-hackers] testcase -strict-types
Date: Sat, 30 Mar 2013 23:44:01 +0100
On Sat, Mar 30, 2013 at 11:33:37PM +0100, Felix wrote:
that refinement generalizes the type of a variable to cover all uses
of it, and
I'm trying to figure out howto use -block optimization.
Whenever I use it with any module no matter how simple it is,
the resulting binary will segfault immediately.
Which restrictions should I watch?
Thanks a lot
/Jörg
___