Ticket #32 (new defect)

Opened 3 years ago

Last modified 3 years ago

Several failed monotonicity tests for Reactive.PrimReactive

Reported by: HackerFoo Owned by:
Priority: major Milestone:
Version: Keywords: test failure
Cc:

Description

There are failed monotonicity tests (located in src/Test.hs) for Reactive.PrimReactive in version 0.11.5 of reactive. The failing functions are: withTimeGE, accumE, mappend, mplus, <|>. and fmap.

I am using GHC 6.12.1 on a Fedora 13 x86_64 machine.

The versions of the dependencies are:
base-4.2.0.0
category-extras-0.53.5
checkers-0.2.8
old-time-1.0.0.3
QuickCheck-2.4.0.1
random-1.0.0.2
Stream-0.4.2
TypeCompose-0.8.0
unamb-0.2.4
vector-space-0.5.9

I have also run the test on a GHC 7.0.1 Fedora 14 x86_64 machine with the same results.

Attachments

reactive_test-log.txt (6.4 kB) - added by HackerFoo 3 years ago.
test log
PrimReactive-overflow.patch (260 bytes) - added by HackerFoo 3 years ago.
patch to cause tests to succeed

Change History

Changed 3 years ago by HackerFoo

test log

Changed 3 years ago by HackerFoo

patch to cause tests to succeed

Changed 3 years ago by HackerFoo

Just an integer overflow.

I attached a patch for FRP/Reactive/PrimReactive.hs to avoid the overflow.

Note: See TracTickets for help on using tickets.