Lors du traçage dans Haskell, comment «afficher» une valeur dont le type de données n'est pas connu à la compilation?

Question

J'utilise GHC version 8.0.2 sur Windows 7, & module Debug.Trace. Dans la trace de la fonction parse ci-dessous, mon insertion ++ show first résultats dans l'erreur suivante:

• Aucun cas pour (Show a) résultant d'une utilisation du 'show » possible Rectifier: add (Afficher un) au contexte de la signature de type pour: Parse :: Parser a -> String -> [(a, String)]
• Dans le premier argument de (++)', namely montrent d'abord » Dans le deuxième argument de (++)', namely montrent d'abord ++ "," ++ show second ++ ")]" ' Dans le deuxième argument de (++)', namely "-> [(" ++ ++ montrer d'abord "" ++ montrer deuxième ++ ")]" »

Ma question: est-il un moyen de montrer le premier élément de la paire ordonnée (a,String) même si son type n'est pas connu à la compilation?

Mon code source est indiqué ci-dessous:

{-# LANGUAGE MonomorphismRestriction #-} 

import Data.Typeable 
import Data.Char 
import Debug.Trace 

newtype Parser a = P (String -> [(a,String)]) 

parse :: Parser a -> String -> [(a,String)] 
parse (P p) input | trace 
    (let result = (p input) 
     element = head result 
     first = fst element 
     second = snd element 
    in ("parse maps " ++ input ++ " -> [(" ++ show first ++ "," ++ show second ++ ")]") 
) False = undefined 
parse (P p) input = p input 

nextChar :: Parser Char 
nextChar = P (\input -> case input of { [] -> [] ; (c:cs) -> [(c,cs)] }) 

J'espère retracer l'évaluation des parse nextChar "ABCD".

Answer 1

Oui, bien sûr, il suffit de suivre les instructions de l'erreur:

parse :: Show a => Parser a -> String -> [(a,String)] 

Une fois que vous avez terminé le débogage, vous pouvez supprimer l'appel à trace et la contrainte Show; alors vous serez en mesure d'analyser à nouveau les choses utiles.