[QuickCheck] Mark Test.QuickCheck.Arbitrary as Safe

Nick Smallbone nicsma at chalmers.se
Mon Mar 24 08:49:32 GMT 2014


Hi Sjoerd,

Thanks for pointing that out! I've released a new version which GHC
accepts as safe.

Nick

On Monday 24 March, 2014 at 12:02 am, Sjoerd Visscher wrote:
> Hi all,
> 
> Up until version 2.6, Test.QuickCheck.Arbitrary could be inferred safe by GHC. It no longer can, because the module uses CPP. Could it be marked safe? Maybe it would even be possible to mark all of QuickCheck safe?
> 
> greetings,
> Sjoerd Visscher
> _______________________________________________
> QuickCheck mailing list
> QuickCheck at projects.haskell.org
> http://projects.haskell.org/cgi-bin/mailman/listinfo/quickcheck



More information about the QuickCheck mailing list