Simplifier tests (was Re: patch applied (testsuite): Add a new category of "eyeball" tests)

[Ian Lynagh]

On Fri, Feb 08, 2008 at 01:19:51PM +1100, Roman Leshchinskiy wrote:
> Don Stewart wrote:
> >rl:
> >>
> >>And so on. I'll try to implement a simple framework. I'm just not sure 
> >>if it should be in Haskell, Python or shell?
> >>
> >
> >Grab the pcre-light regex package? 
> 
> Yeah, I'd do it like that but I'm not sure what kind of dependencies we 
> want to allow in the ghc testsuite.

Right, if we used pcre-light then it wouldn't be tested when validating,
as pcre-light isn't a bootlib. Also, if that's a C wrapper then it's
probably more hassle for people on Windows than a Haskell regex library
would be.

For the examples you listed, it looks to me like isInfixOf, filter,
length etc would suffice, though. Writing a Python script to do it is
another option.


Thanks
Ian