Geçerli bir davranış

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 _

İstenilen davranış

Eğer DZD da yazılan deliği Show türü sınıf kısıtlaması olduğunu söylese iyi olurdu.

Mısc

DZD Sürüm 7.8.1

Bir nesnenin düzeni malloc new kullanarak ayrılmış olup olmadığını bağlıdır. İkisi de işaretçi aynı tür geri dönüş, ve diğer işlevler için bu işaretçi geçirmek nesne ayrılmış olduğunu nasıl anlamazlar. sizeof *ptr atanmış ne kadar ptr, Bildirgesi üzerinde sadece bağlıdır.