Re: [Chicken-hackers] type declarations for define-record not working

[Peter Bex]

On Mon, Aug 20, 2018 at 08:26:56PM +0200, Jörg F. Wittenberger wrote:
> Hi all,
> 
> attached foo.scm. try (for C4 and C5):
> 
>  csc -s foo.scm
> 
> C4 should do, C5 complains for me:
> 
> Warning: at toplevel:
>  assignment of value of type `(procedure foo#make-foo (*) (struct foo#foo))'
> to toplevel variable `foo#make-foo' does not match declared type `(procedure
> foo#make-foo (string) (struct foo))'

Totally right.  I've filed https://bugs.call-cc.org/ticket/1513 for this.

In the meantime, as a workaround you can simply change the code to

>  (: make-foo (string --> (struct foo#foo)))
>  (define-record foo bar)

Or of course with a cond-expand so it still works for CHICKEN 4.
We'll ensure this is fixed in CHICKEN 5.0.0 rc2.

Cheers,
Peter

signature.asc
Description: PGP signature