On Mon, Jul 3, 2017 at 11:01 AM, Marc Nieper-Wißkirchen <xxxxxx@nieper-wisskirchen.de> wrote:

"Mappings form a new type as if created by define-record-type. The effect of using record-type inspection or inheritance on the mapping type is unspecified."

This way, implementations can provide a way to create subtypes of mappings or a future SRFI can specify such a means.

Looks good to me.  We will still need a discussion about possible allowed polymorphisms, for example between general sets and character or integer sets.  But that can wait.

-- 
 John Cowan          http://vrici.lojban.org/~cowan        xxxxxx@ccil.org
La mayyitan ma qadirun yatabaqqa sarmadi
Fa idha yaji' al-shudhdhadh fa-l-maut qad yantahi.
                --Abdullah al-Hazred, Al-`Azif