[Larceny-users] ANF size error with 0.97b1

[Marco Maggi]

"William D Clinger" wrote:
>> Is it something to report as a bug?
>
>The "ANF size:" reports come from the compiler, and
>provide an estimate of the code size. [...] It would
>probably be better for me to file that bug report.

Thanks. The following script triggers the output; the
import specs I have commented out will cause errors
(Derick is still working to Larceny support).

;; proof.sls --
(import (rnrs)
  (srfi and-let-star)
  (srfi args-fold)
  (srfi case-lambda)
  (srfi char-set)
  (srfi compare)
  (srfi cond-expand)
  (srfi cut)
  (srfi eager-comprehensions)
;;  (srfi error-reporting)
  (srfi format)
;;  (srfi general-cond)
  (srfi let-values)
  (srfi lightweight-testing)
  (srfi lists)
  (srfi parameters)
  (srfi random)
  (srfi rec)
  (srfi receive)
;;  (srfi records)
  (srfi sharing)
  (srfi streams)
  (srfi string-ports)
;;  (srfi strings)
  (srfi time)
;;  (srfi vectors)
  )
(display 123)
;;; end of file

I run it with:

$ larceny -r6rs -path /usr/local/lib/scheme \
    -program proof.sps

after putting Derick's SRFIs in the selected
directory. In the SRFI distribution I rename
all the "xxx.larceny.sls" to "xxx.sls" else
they are not found. I have NOT tried to
precompile the libraries.

The following libraries, when imported alone,
will NOT trigger the output:

(srfi and-let-star)
(srfi args-fold)
(srfi case-lambda)
(srfi char-set)
(srfi compare)
(srfi cond-expand)
(srfi cut)
(srfi format)
(srfi let-values)
(srfi lists)
(srfi parameters)
(srfi random)
(srfi rec)
(srfi receive)
(srfi sharing)
(srfi streams)
(srfi string-ports)
(srfi time)

while the following will do:

(srfi eager-comprehensions)
(srfi lightweight-testing)

The following script imports all the
libraries that, when imported, alone do
NOT trigger the output, and it does NOT
trigger the output:

;; proof.sls --

(import (rnrs)
 (srfi and-let-star)
 (srfi args-fold)
 (srfi case-lambda)
 (srfi char-set)
 (srfi compare)
 (srfi cond-expand)
 (srfi cut)
  (srfi format)
  (srfi let-values)
  (srfi lists)
  (srfi parameters)
  (srfi random)
  (srfi rec)
  (srfi receive)
  (srfi sharing)
  (srfi streams)
  (srfi string-ports)
  (srfi time))
(display 123)
;;; end of file

Derick is using an INCLUDE/RESOLVE form
to include source files, but it does not
seem to cause problems because it does it
in (srfi time), which is loaded without
output messages.

The lightweight testing library loads
the eager comp library, so it may be that
the ec library is the culprit.

> We expect to add a bunch of SRFIs as
> R6RS libraries after SRFI 97 becomes
> final[...]

Thanks.
-- 
Marco Maggi

"Now feel the funk blast!"
Rage Against the Machine - "Calm like a bomb"