haskell - QuickCheck prop to tasty prop -

-

im trying go from _prop example write same thing in tasty. (example http://primitive-automaton.logdown.com/posts/142511/tdd-with-quickcheck)

game9_prop :: game9 -> bool game9_prop = (9==) . length . ungame . ungame9

this i'm trying in tasty:

qctestgengame9 :: testtree qctestgengame9 = qc.testproperty "better gen rate" $     \ (g :: game9) -> length . ungame . ungame9 g == 9 --error line

this conversion gives me following error:

test/tasty.hs:53:11: illegal type signature: `game9' perhaps intended use -xscopedtypevariables in pattern type-signature

this type game9:

-- make generation rate better newtype game9 = game9 { ungame9 :: game }    deriving (eq, show)  instance arbitrary game9    arbitrary = (game9 . game) `liftm` replicatem 9 arbitrary

to fix immediate error, remove type annotation, i.e., use

qctestgengame9 :: testtree qctestgengame9 = qc.testproperty "better gen rate" $     \ g -> (length . ungame . ungame9) g == 9

the expression ungame9 g ensures g :: game9.

but it's simpler: game9_prop defined, can use

qctestgengame9 :: testtree qctestgengame9 = qc.testproperty "better gen rate" game9_prop

Comments

Post a Comment

Popular posts from this blog

c# - Unity IoC Lifetime per HttpRequest for UserStore -

-
i'm trying clean default implementation of accountcontroller.cs comes out of box in new mvc5/owin security implementation. have modified constructor this: private usermanager<applicationuser> usermanager; public accountcontroller(usermanager<applicationuser> usermanager) { this.usermanager = usermanager; } also, have created lifetime manager unity looks this: public class httpcontextlifetimemanager<t> : lifetimemanager, idisposable { private httpcontextbase _context = null; public httpcontextlifetimemanager() { _context = new httpcontextwrapper(httpcontext.current); } public httpcontextlifetimemanager(httpcontextbase context) { if (context == null) throw new argumentnullexception("context"); _context = context; } public void dispose() { this.removevalue(); } public override object get...
Read more

Change the color of an oval at click in Java AWT -

-
i have draw ovals in java, , @ click change color. beginning tried change color after 20 ms, doesn't work. my code is: public class mycomponentnew extends frame { public graphics2d g2d; public mycomponentnew(string title) { super(title); setsize(400, 550); } @override public void paint(graphics g) { this.g2d = (graphics2d) g; this.g2d.setcolor(color.red); this.g2d.filloval(10, 55, 50, 100); } public void changecolor () { this.g2d.setcolor(color.blue); this.g2d.filloval(10, 55, 50, 100); } } and in class main method have: mycomponentnew m; m = new mycomponentnew("fereastra cu baloane"); m.setvisible(true); m.addwindowlistener(new windowadapter() { @override public void windowclosing(windowevent we) { system.exit(0); } }); try { thread.sleep(20); } catch(interruptedexception e) {} m.changecolor(); the color of oval remains red. ...
Read more

I am trying to solve the error message 'incompatible ranks 0 and 1 in assignment' in a fortran 95 program. -

-
i writing program in fortran find velocity of parachuting person in relation time. keep getting error can't fix. new programming , appreciated. the error is v(i+1)=v(i)+[32-((c*v(i)*v(i))/m)]*(h) 1 error: incompatible ranks 0 , 1 in assignment @ (1) and program is program para integer :: real :: v(11) !velocity real :: q !initial velocity real :: h !time step real :: c !drag coefficient real :: m !mass ! gravity equal 32 ft/s^2 write (*,*)'enter time step' read(*,*)h write(*,*)'enter initial velocity' read(*,*)q write(*,*)'enter drag coefficient' read(*,*)c write(*,*)'enter mass' read(*,*)m i=1,10 ! 1 10, 1 being interval. end v(i+1)=v(i)+[32-((c*v(i)*v(i))/m)]*(h) q=v(1) end program you cannot use [] normal parenthesis in expressions. array constructor, [ items ] means array items elements. end do should after line.
Read more