ScopedTypeVariables non porta variabili di tipo in ambito

Question

Ecco una semplice funzione per restituire l'allineamento di un puntatore:

{-# LANGUAGE ScopedTypeVariables #-} 

import Foreign.Ptr (Ptr) 
import Foreign.Storable (Storable, alignment) 

main = return() 

ptrAlign1 :: (Storable a) => Ptr a -> Int 
ptrAlign1 _ = alignment (undefined :: a) 

ma ottengo il seguente errore:

Could not deduce (Storable a0) arising from a use of `alignment' 
from the context (Storable a) 
    bound by the type signature for 
      ptrAlign1 :: Storable a => Ptr a -> Int 
    at prog.hs:8:14-41 
The type variable `a0' is ambiguous 

Se riscrivo ptrAlign in una fazione più confusa del genere:

ptrAlign2 :: (Storable a) => Ptr a -> Int 
ptrAlign2 = ptrAlign3 undefined where 
    ptrAlign3 :: (Storable a) => a -> Ptr a -> Int 
    ptrAlign3 x _ = alignment x 

Funziona bene (ovviamente questa versione non ha nemmeno bisogno di ScopedTypeVariables).

Ma sono ancora curioso di sapere perché la prima versione sta generando un errore e cosa si può fare per risolverlo?

Answer 1

Anche con ScopedTypeVariables acceso, variabili di tipo non sono messi nella portata a meno che non quantificare esplicitamente, cioè

ptrAlign1 :: forall a. (Storable a) => Ptr a -> Int 
ptrAlign1 _ = alignment (undefined :: a)