[r6rs-discuss] [Formal] Simplifying conditions

[Andre van Tonder]

A couple of further questions:

  - Are condition types generative?
  - Is the "id" argument in (make-condition-type id ----) purely
    for informational purposes, and can two different condition types
    have the same id?

Also, about multiple inheritance:  Since a condition type has no special 
constructor protocol, what prevents one from having multiple inheritance of 
condition types?  The analogy would again be a Java-type object system - 
while classes do not play well with multiple inheritance, 
interfaces don't have any such problem, and condition types are more
like interfaces.

Cheers
Andre