Puis-je me fier à l'extension Template Haskell (en utilisant -ddump-splices) pour toujours générer du code valide?

Question

J'ai écrit un petit utilitaire pour étendre toutes les épissures TH dans un module Haskell, de sorte que je puisse utiliser le module haskell même si TH n'est pas disponible. Pour ce faire, je passe l'option -ddump-splices à GHC lors de la compilation du module et capture le code résultant, puis remplace les déclarations TH dans le module par le code capturé.

Cependant, il semble que -ddump-splices ne génère pas toujours de code compilable. Plus précisément, il semble utiliser des accolades pour la mise en page, mais sans ajouter les points-virgules dans les bons endroits!

Voici un exemple de mon fichier de test -

case dispatch_a3Tg pieces0_a3Tf of { 
    Just f_a3U6 
     -> f_a3U6 
      master0_a3T9 
      sub0_a3Ta 
      toMaster0_a3Tb 
      app4040_a3Tc 
      handler4050_a3Td 
      method0_a3Te 
    Nothing -> app4040_a3Tc } 

Ici, il a généré l'ouverture et la fermeture des accolades, mais pas le point-virgule nécessaire entre les deux alternatives de cas. Cela provoque l'erreur suivante au moment de la compilation -

GHCi, version 7.4.1: http://www.haskell.org/ghc/ :? for help 
Loading package ghc-prim ... linking ... done. 
Loading package integer-gmp ... linking ... done. 
Loading package base ... linking ... done. 
[1 of 1] Compiling Main    (Test.hs, interpreted) 

Test.hs:51:17: parse error on input `->' 
Failed, modules loaded: none. 
Prelude> 

Answer 1

Non, les décharges d'épissage sont souvent le code invalide et il faut beaucoup de temps pour réduire ces quelque chose qui compile non seulement, mais est humaine compréhensible. Ce fut une source de frustration lors de l'examen des aspects de TYB.