在主模塊中調用Haskell函數時遇到問題

Question

我在一個名爲BinaryTree的Haskell模塊中定義了一個名爲findPaths的函數，我試圖在創建的主模塊中調用該函數。該類型的函數調用的是

findPaths :: Tree -> [Path] 

哪裏Tree是被定義爲一種數據類型：

data Tree = Leaf | Node Tree Tree

和Path被定義爲：

data Path = LeftTurn Path | RightTurn Path | This 

在主函數中，我這樣做，只有這樣：

module Main where 
import BinaryTree 
findPaths (Node Leaf Leaf) 

但是，當我嘗試用下面的命令編譯：如果我嘗試導出的數據類型在

Couldn't match expected type `Language.Haskell.TH.Syntax.Q 
            [Language.Haskell.TH.Syntax.Dec]' 
against inferred type `[Path]' 
In the expression: findPaths (Node Leaf Leaf)

我得到了同樣的錯誤：

ghc -o --make Main Main.hs BinaryTree.hs

我得到這個錯誤BinaryTree模塊：

module BinaryTree (Tree(..), Path(..), allPaths) where... 

我很茫然......我不知道我做錯了什麼。建議，不管前進多麼明顯，都非常受歡迎。謝謝。

UPDATE

謝謝大家，你們的幫助。從

@Travis除了每個人都建議我結束之前我看了你的消息，這樣做昨晚：

import BinaryTree 

main = do 
    print (findPaths (Node Leaf Leaf)) 

它的工作原理我預期的方式。但在將來，我會確保遵循您引用我的正確語義。

更新2

我昨晚迴應與其他一些答案，但顯然有值得答案和問題的power outage和4小時丟失了。想到也許我曾夢想着回答這些問題。很高興知道我不瘋狂。

Answer 1

你會看到這個錯誤，因爲findPaths (Node Leaf Leaf)爲您Main模塊，should only contain declarations的頂層的表達式。

您可以嘗試編譯只包含一個字符串的文件，例如得到GHC了同樣的錯誤：

travis@sidmouth% echo '"Hello world"' > Test.hs 
travis@sidmouth% ghc Test.hs 

Test.hs:1:0: 
    Couldn't match expected type `Language.Haskell.TH.Syntax.Q 
            [Language.Haskell.TH.Syntax.Dec]' 
      against inferred type `[Char]' 
    In the expression: "Hello world" 

我不知道爲什麼GHC給相關模板哈斯克爾這裏 - 一個錯誤信息對一個簡單的錯誤來說，這是一個神祕和混亂的迴應。你實際需要做的就是將表達式改爲聲明。以下應該只是罰款：

module Main where 
import BinaryTree 
paths = findPaths (Node Leaf Leaf) 
main = putStrLn "Do something here." 

Answer 2

我覺得這裏的問題是你的GHC的電話，試試這個：

ghc -o main --make Main.hs 

Answer 3

要添加到什麼Jonno_FTW說，你需要一個main常規的主模塊，它需要做的IO在。所以，你應該Main.hs是這樣的：

module Main where 
import BinaryTree 
main = putStrLn . show . findPaths $ Node Leaf Leaf