हास्केल त्रुटि: बाधा में गैर प्रकार-चर तर्क: अंक (एक -> एक -> एक -> एक)

Question

मैं हास्केल के लिए नया हूँ और मेरी किताब से निम्न उदाहरण कोड को चलाने के लिए कोशिश कर रहा हूँ:

पूरी फ़ाइल:

-- my name 

splitAt1 :: [a] -> ([a], [a]) 
splitAt1 xs = (take 2 xs, drop 2 xs) 

मैं लाइन चलाकर परीक्षण कर रहा हूँ:

splitAt1 [1 2 3 4] 

विचार है कि इनपुट सरणी सूचकांक 2. हालांकि पर दो सरणियों में विभाजित है, मैं हो रही है निम्नलिखित त्रुटि:

Non type-variable argument 
    in the constraint: Num (a -> a -> a -> a) 
(Use FlexibleContexts to permit this) 
When checking that ‘it’ has the inferred type 
    it :: forall a a1 a2 a3. 
     (Num a1, Num a2, Num a3, Num (a1 -> a2 -> a3 -> a)) => 
     ([a], [a]) 

क्या कोई मुझे त्रुटि संदेश को डीकोड करने में मदद कर सकता है और शायद कोड के साथ क्या गलत है?

Answer 1

फ़ंक्शन ठीक है, यह आपका तर्क है कि बंद है।

splitAt1 [1 2 3 4] के बजाय splitAt1 [1,2,3,4] आज़माएं और इसे काम करना चाहिए।