arith011 broken with integer-simple
The arith011 test fails unexpected when using integer-simple.
The test output is quite long but here is the end:
#
negate 0 = 0
#
testReal
toRational 0 = 0 % 1
toRational 1 = 1 % 1
toRational 2 = 2 % 1
toRational 3 = 3 % 1
#
testIntegral
Stderr ( arith011 ):
arith011: divide by zero
*** unexpected failure for arith011(normal)This is concerning since it suggests a behavioral difference between integer-simple and integer-gmp.
Trac metadata
| Trac field | Value |
|---|---|
| Version | 8.6.3 |
| Type | Bug |
| TypeOfFailure | OtherFailure |
| Priority | normal |
| Resolution | Unresolved |
| Component | Compiler |
| Test case | |
| Differential revisions | |
| BlockedBy | |
| Related | |
| Blocking | |
| CC | |
| Operating system | |
| Architecture |