cvs commit: ports/devel Makefile ports/devel/hs-lazysmallcheck-ghc Makefile distinfo pkg-descr pkg-plist

[Gabor Pali]

pgj         2009-03-14 15:19:34 UTC

  FreeBSD ports repository (doc committer)

  Modified files:
    devel                Makefile 
  Added files:
    devel/hs-lazysmallcheck-ghc Makefile distinfo pkg-descr 
                                pkg-plist 
  Log:
  Lazy SmallCheck is a library for exhaustive, demand-driven testing of
  Haskell programs.  It is based on the idea that if a property holds for
  a partially-defined input then it must also hold for all fully-defined
  refinements of the that input.  Compared to `eager' input generation as
  in SmallCheck, Lazy SmallCheck may require significantly fewer
  test-cases to verify a property for all inputs up to a given depth.
  
  WWW: http://www.cs.york.ac.uk/~mfn/lazysmallcheck/
  
  Approved by:    gabor
  
  Revision  Changes    Path
  1.3404    +1 -0      ports/devel/Makefile
  1.1       +55 -0     ports/devel/hs-lazysmallcheck-ghc/Makefile (new)
  1.1       +3 -0      ports/devel/hs-lazysmallcheck-ghc/distinfo (new)
  1.1       +8 -0      ports/devel/hs-lazysmallcheck-ghc/pkg-descr (new)
  1.1       +14 -0     ports/devel/hs-lazysmallcheck-ghc/pkg-plist (new)