[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

type checks in the reference implementation

This page is part of the web mail archives of SRFI 67 from before July 7th, 2015. The new archives for SRFI 67 contain all messages, not just those from before July 7th, 2015.



Hi again.

Looking at the reference implementation (compare.scm):

It contains many type checks (like (compare z z) ). These are (all?) required by
the SRFI. But many Scheme compilers provide "unsafe" modes of operation for
efficiency. If you mark the type checks (maybe even in a way that allows a
clever "grep" command to remove them, e.g. in a way like check-arg in the
reference implementation of SRFI-1), you would help Scheme implementations to
provide "safe" and "unsafe" versions of this SRFI.

Ciao
Sven