Cauchy test 6

[staplejw]

Failure in: 6:RoundTrip:7:2:t_uniform_to_cauchy:0

haskell/Tests/TestTools.hs:130
expected:
stdNormal = p <~ normal(nat2real(0), nat2prob(1))
return p
stdCauchy = X1 <~ stdNormal
X2 <~ stdNormal
return X1 / X2
cauchy = fn a real:
fn alpha prob:
X <~ stdCauchy
return a + prob2real(alpha) * X
cauchy(nat2real(0), nat2prob(1))
but got:
p5 <~ normal(+0/1, 1/1)
p3 <~ normal(+0/1, 1/1)
return p5 / p3
Cases: 342 Tried: 297 Errors: 2 Failures: 29

Failure in: 6:RoundTrip:7:2:t_uniform_to_cauchy:1

haskell/Tests/TestTools.hs:130
expected:
stdNormal = p <~ normal(nat2real(0), nat2prob(1))
return p
stdCauchy = X1 <~ stdNormal
X2 <~ stdNormal
return X1 / X2
cauchy = fn a real:
fn alpha prob:
X <~ stdCauchy
return a + prob2real(alpha) * X
cauchy(nat2real(0), nat2prob(1))
but got:
X3 <~ uniform(+0/1, +1/1)
return tan(prob2real(pi) * (X3 + (-1/2)))
Cases: 342 Tried: 298 Errors: 2 Failures: 30
Cases: 342 Tried: 299 Errors: 2 Failures: 30
Cases: 342 Tried: 300 Errors: 2 Failures: 30
Cases: 342 Tried: 301 Errors: 2 Failures: 30

[mkhattab940]

@JacquesCarette Just, FYI I am going through @staplejw 's and @NevinM14 's pull requests right now to see what 0-test failures can be solved by in-lining.

[JacquesCarette]

Ok. And while you're at it, can you try to submit PRs that don't have to be hand-merged? It is super-tiresome...