ScopedTypeVariables दायरे में प्रकार चर नहीं लाती

Question

यहाँ एक सूचक के संरेखण वापस जाने के लिए एक सरल समारोह है:

{-# LANGUAGE ScopedTypeVariables #-} 

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

main = return() 

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

लेकिन मैं निम्नलिखित त्रुटि मिलती है: यदि मैं में ptrAlign पुनर्लेखन

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 

इस तरह एक और गन्दा गुट:

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

यह ठीक काम करता है (बेशक यह संस्करण ScopedTypeVariables की भी आवश्यकता नहीं है)।

लेकिन मैं अभी भी उत्सुक हूं कि पहला संस्करण एक त्रुटि क्यों फेंक रहा है, और इसे हल करने के लिए क्या किया जा सकता है? ScopedTypeVariables

Answer 1

यहां तक ​​कि के साथ चालू है, प्रकार चर गुंजाइश जब तक आप स्पष्ट रूप से उन्हें यों में डाल नहीं कर रहे हैं, अर्थात

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