Require eof-objects to be disjoint from basic Scheme types
|Reported by:||cowan||Owned by:||cowan|
|Component:||WG1 - Core||Keywords:|
It's already a requirement that an eof-object cannot have an external representation, which means it cannot be any of the basic types in Section 3.2 except procedure or port. This is very improbable, and in fact none of my 40 test schemes returns either a procedure or a port.
Doing this would allow eof-object? to be added to the list of disjoint type predicates in Section 3.2.
Change History (4)
comment:3 Changed 5 years ago by cowan
- Owner changed from alexshinn to cowan
- Status changed from decided to writing