Comportement actuel
Prelude> show _
<interactive>:7:6:
Found hole ‘_’ with type: a0
Where: ‘a0’ is an ambiguous type variable
Relevant bindings include it :: String (bound at <interactive>:7:1)
In the first argument of ‘show’, namely ‘_’
In the expression: show _
In an equation for ‘it’: it = show _
Comportement désiré
Ce serait bien si GHC me disait également que le trou typé a la Show
contrainte de classe de type.
Divers
GHC version 7.8.1
show (undefined :: () -> ())
; GHC en dira plus dans l'erreur de vérification de type.