floor(0/0) should not be defined
floor(0/0) returns some giant negative integer - it should return NaN or undefined.
The bug appears to be in some implementation of 'properFraction' in the standard library.
[from Andrej Bauer, from Barak Pearlmutter (from ???)]
Trac metadata
| Trac field | Value |
|---|---|
| Version | 6.10.1 |
| Type | Bug |
| TypeOfFailure | OtherFailure |
| Priority | normal |
| Resolution | Unresolved |
| Component | Prelude |
| Test case | |
| Differential revisions | |
| BlockedBy | |
| Related | |
| Blocking | |
| CC | |
| Operating system | |
| Architecture |