Invalid arguments when trying to port SRFI-207 to Chicken 5 noosphere@xxxxxx (11 Nov 2020 08:07 UTC)
Re: Invalid arguments when trying to port SRFI-207 to Chicken 5 Arvydas Silanskas (11 Nov 2020 08:31 UTC)
Re: Invalid arguments when trying to port SRFI-207 to Chicken 5 noosphere@xxxxxx (11 Nov 2020 13:37 UTC)
Re: Invalid arguments when trying to port SRFI-207 to Chicken 5 Wolfgang Corcoran-Mathe (11 Nov 2020 18:12 UTC)
Re: Invalid arguments when trying to port SRFI-207 to Chicken 5 noosphere@xxxxxx (14 Nov 2020 00:06 UTC)

Invalid arguments when trying to port SRFI-207 to Chicken 5 noosphere@xxxxxx 11 Nov 2020 08:07 UTC

When trying to port SRFI-207 to Chicken 5.2.0, I am getting many
warnings about invalid types, such as the one I quote below.

I have logged the details here:

  https://github.com/diamond-lizard/srfi-207/issues/1

The GitHub repo which contains the reference implementation port to
Chicken 5 that generated these warnings is here:

  https://github.com/diamond-lizard/srfi-207/

Here is a sample of the kind of warning I'm getting:

Warning: Invalid argument
  In file `srfi/207/parse.scm:88',
  In module `srfi-207',
  In procedure `read-textual-bytestring',
  In procedure call:

    (scheme#car 0)

  Argument #1 to procedure `car' has an invalid type:

    fixnum

  The expected type is:

    pair

  This is the expression:

    0

  Procedure `car' from module `scheme' has this type:

    ((pair 'a *) -> 'a)