On Fri, Sep 21, 2012 at 7:17 PM, Travis Brown
<
travisro...@gmail.com> wrote:
> I think this does what you want, no?
>
>
https://gist.github.com/3763016
>
> This compiles:
>
> isValid(_3 :: _4 :: _5 :: _8 :: _8 :: _2 :: _8 :: _6 :: _5 :: HNil)
>
>
> But these don't, for example:
>
> isValid(_3 :: _1 :: _5 :: _8 :: _8 :: _2 :: _8 :: _6 :: _5 :: HNil)
>
> isValid(_3 :: _4 :: _5 :: _8 :: _8 :: _2 :: _8 :: _6 :: HNil)
>
>
> It is slow, but not as bad as I expected—on my machine it takes the compiler
> about 5 seconds to make up its mind.
Niiiice ... :-)