ghci में [सुरक्षित] मार्कर का क्या अर्थ है?

Question

Prelude Data.Void> :info Void 
data Void  -- Defined in `Data.Void' 
instance [safe] Eq Void -- Defined in `Data.Void' 
instance [safe] Ord Void -- Defined in `Data.Void' 
instance [safe] Read Void -- Defined in `Data.Void' 
instance [safe] Show Void -- Defined in `Data.Void' 

[सुरक्षित] क्या मतलब है?

Answer 1

इसका मतलब यह है कि डेटाटाइप को एक मॉड्यूल में परिभाषित किया गया है जिसे सुरक्षित एक्सटेंशन का उपयोग करके परिभाषित किया गया है। आप एक्सटेंशन in the user guide का विवरण पा सकते हैं।

{-#LANGUAGE Safe#-} 

data Test = Test deriving (Eq, Show) 

और फिर ghci में इसे बाहर की कोशिश कर रहा:

वास्तव में, आप अपने आप को कि Safe एक्सटेंशन का उपयोग कर एक मॉड्यूल को परिभाषित करते हुए परीक्षण कर सकते हैं

λ> :i Test 
data Test = Test  
instance [safe] Eq Test 
instance [safe] Show Test 

लेकिन ध्यान दें कि वर्तमान GHC में (7.10.2), सुरक्षित एक्सटेंशन को this ghc bug की वजह से ट्रस्ट गारंटी से भरोसा नहीं किया जा सकता है।