Текущее поведение
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 _
Желаемое поведение
Было бы неплохо, если бы GHC также сказал бы мне, что типизированное отверстие имеет ограничение класса Show
.
Разное
Версия GHC 7.8.1