Example in Data.Derive.UniplateDirect fails about derive

[ndmitchell]

Have you read https://hackage.haskell.org/package/uniplate-1.6.12/docs/Data-Generics-Uniplate-Data.html, particularly the part about UNIPLATE_VERBOSE? Table computation can give a massive speed difference, so setting it to -1 is worthwhile to see if that's an initial issue.

[ndmitchell]

Do you actually use UniplateDirect? I generally switched to Uniplate.Data for most of my programs, which has the advantage of no instances required. Doesn't sound too hard, but really looking for other people to fix it, as per #6 (which it seems you've already found).

[ddssff]

I was looking for the option of using UniplateDirect because what I have now is incredibly slow. I will give the fix a shot, and if I can do it I will be more confident about taking on #6.

[ddssff]

Neil, do you know why loading Example.hs gives me

derive: Don't know how to derive type class: Eq

[ndmitchell]

Yep, in the last release I ripped out everything GHC could derive itself on the basis people should use GHC in preference to derive and I could avoid porting those definitions to the new Haskell-src-exts library. I suspect I didn't update the example.

[ddssff]

Lately I've become leery of GHC.Generics - it creates huge declarations when there are a lot of constructors, and the results take a long time to compile.

[ndmitchell]

I meant that Eq is baked into the compiler, not just that it could be done using Generics. That said, a Generic solution while taking a long time to compile is often to be preferred to a preprocessor.

[ddssff]

On the other hand, I just eliminated all the Generic instances from our GHCJS application (using custom implementations of deriveSerialize and deriveJSON instead) and the javascript executable size dropped from 52M to 36M. I wonder if there will be a performance hit?