bos/aeson — Issue #44: genericToFromJSON: _UFoo: [Failed] in current git tree
Author: markwright
Created: 2011-11-18 07:04:26+00:00
State: open

With ghc 7.0.4 linux amd64, test genericToFromJSON: _UFoo: [Failed] in current git tree:

argus tests # ./qc
encode:
encodeDouble: [OK, passed 100 tests]
encodeInteger: [OK, passed 100 tests]
genericFrom:
Bool: [OK, passed 100 tests]
Double: [OK, passed 100 tests]
Int: [OK, passed 100 tests]
Foo: [OK, passed 100 tests]
genericTo:
Bool: [OK, passed 100 tests]
Double: [OK, passed 100 tests]
Int: [OK, passed 100 tests]
Foo: [OK, passed 100 tests]
roundTrip:
Bool: [OK, passed 100 tests]
Double: [OK, passed 100 tests]
Int: [OK, passed 100 tests]
Integer: [OK, passed 100 tests]
String: [OK, passed 100 tests]
Text: [OK, passed 100 tests]
Foo: [OK, passed 100 tests]
toFromJSON:
Integer: [OK, passed 100 tests]
Double: [OK, passed 100 tests]
Maybe Integer: [OK, passed 100 tests]
Either Integer Double: [OK, passed 100 tests]

Either Integer Integer: [OK, passed 100 tests]
genericToFromJSON:
_UFoo: [Failed]
Falsifiable with seed 5308406286099367168, after 1 tests. Reason: Falsifiable

Properties Total
Passed 22 22
Failed 1 1
Total 23 23
argus tests # ./qc
encode:
encodeDouble: [OK, passed 100 tests]
encodeInteger: [OK, passed 100 tests]
genericFrom:
Bool: [OK, passed 100 tests]
Double: [OK, passed 100 tests]
Int: [OK, passed 100 tests]
Foo: [OK, passed 100 tests]
genericTo:
Bool: [OK, passed 100 tests]
Double: [OK, passed 100 tests]
Int: [OK, passed 100 tests]
Foo: [OK, passed 100 tests]
roundTrip:
Bool: [OK, passed 100 tests]
Double: [OK, passed 100 tests]
Int: [OK, passed 100 tests]
Integer: [OK, passed 100 tests]
String: [OK, passed 100 tests]
Text: [OK, passed 100 tests]
Foo: [OK, passed 100 tests]
toFromJSON:
Integer: [OK, passed 100 tests]
Double: [OK, passed 100 tests]
Maybe Integer: [OK, passed 100 tests]
Either Integer Double: [OK, passed 100 tests]

Either Integer Integer: [OK, passed 100 tests]
genericToFromJSON:
_UFoo: [Failed]
Falsifiable with seed 8620178254206185358, after 1 tests. Reason: Falsifiable

Properties Total
Passed 22 22
Failed 1 1
Total 23 23
argus tests # ./qc
encode:
encodeDouble: [OK, passed 100 tests]
encodeInteger: [OK, passed 100 tests]
genericFrom:
Bool: [OK, passed 100 tests]
Double: [OK, passed 100 tests]
Int: [OK, passed 100 tests]
Foo: [OK, passed 100 tests]
genericTo:
Bool: [OK, passed 100 tests]
Double: [OK, passed 100 tests]
Int: [OK, passed 100 tests]
Foo: [OK, passed 100 tests]
roundTrip:
Bool: [OK, passed 100 tests]
Double: [OK, passed 100 tests]
Int: [OK, passed 100 tests]
Integer: [OK, passed 100 tests]
String: [OK, passed 100 tests]
Text: [OK, passed 100 tests]
Foo: [OK, passed 100 tests]
toFromJSON:
Integer: [OK, passed 100 tests]
Double: [OK, passed 100 tests]
Maybe Integer: [OK, passed 100 tests]
Either Integer Double: [OK, passed 100 tests]
UFoo {_UFooInt = -1, uFooInt = -1}
Either Integer Integer: [OK, passed 100 tests]
genericToFromJSON:
_UFoo: [Failed]
Falsifiable with seed 1349346501665683387, after 1 tests. Reason: Falsifiable

Properties Total
Passed 22 22
Failed 1 1
Total 23 23
argus tests # ./qc
encode:
encodeDouble: [OK, passed 100 tests]
encodeInteger: [OK, passed 100 tests]
genericFrom:
Bool: [OK, passed 100 tests]
Double: [OK, passed 100 tests]
Int: [OK, passed 100 tests]
Foo: [OK, passed 100 tests]
genericTo:
Bool: [OK, passed 100 tests]
Double: [OK, passed 100 tests]
Int: [OK, passed 100 tests]
Foo: [OK, passed 100 tests]
roundTrip:
Bool: [OK, passed 100 tests]
Double: [OK, passed 100 tests]
Int: [OK, passed 100 tests]
Integer: [OK, passed 100 tests]
String: [OK, passed 100 tests]
Text: [OK, passed 100 tests]
Foo: [OK, passed 100 tests]
toFromJSON:
Integer: [OK, passed 100 tests]
Double: [OK, passed 100 tests]
Maybe Integer: [OK, passed 100 tests]
Either Integer Double: [OK, passed 100 tests]

Either Integer Integer: [OK, passed 100 tests]
genericToFromJSON:
_UFoo: [Failed]
Falsifiable with seed 5534180966496665992, after 1 tests. Reason: Falsifiable

Properties Total
Passed 22 22
Failed 1 1
Total 23 23
argus tests #