1

当我尝试编译代码时，出现两个错误。

第一个是：

Couldn't match expected type ‘ServerPartT IO a0’
            with actual type ‘[Response]’
In a stmt of a 'do' block:
  msum
    (map (\ (a, b) -> dir a b)
     $ routes
         staticDir
         redirectUrlGraphEmail
         redirectUrlGraphPost
         aboutContents
         privacyContents)
  ++
    [do { nullDir;
          seeOther "graph" (toResponse "Redirecting to /graph") },
     notFoundResponse]
In the second argument of ‘($)’, namely
  ‘do { decodeBody (defaultBodyPolicy "/tmp/" 4096 4096 4096);
        msum
          (map (\ (a, b) -> dir a b)
           $ routes
               staticDir
               redirectUrlGraphEmail
               redirectUrlGraphPost
               aboutContents
               privacyContents)
        ++
          [do { nullDir;
                .... },
           notFoundResponse] }’
In a stmt of a 'do' block:
  simpleHTTP serverConf
  $ do { decodeBody (defaultBodyPolicy "/tmp/" 4096 4096 4096);
         msum
           (map (\ (a, b) -> dir a b)
            $ routes
                staticDir
                redirectUrlGraphEmail
                redirectUrlGraphPost
                aboutContents
                privacyContents)
         ++
           [do { nullDir;
                 .... },
            notFoundResponse] }

它提到了三块代码，其中一个

第二个是：

    Couldn't match type ‘ServerPartT IO’ with ‘[]’
Expected type: [[Response]]
  Actual type: [ServerPartT IO Response]
In the first argument of ‘msum’, namely
  ‘(map (\ (a, b) -> dir a b)
    $ routes
        staticDir
        redirectUrlGraphEmail
        redirectUrlGraphPost
        aboutContents
        privacyContents)’
In the first argument of ‘(++)’, namely
  ‘msum
     (map (\ (a, b) -> dir a b)
      $ routes
          staticDir
          redirectUrlGraphEmail
          redirectUrlGraphPost
          aboutContents
          privacyContents)’
In a stmt of a 'do' block:
  msum
    (map (\ (a, b) -> dir a b)
     $ routes
         staticDir
         redirectUrlGraphEmail
         redirectUrlGraphPost
         aboutContents
         privacyContents)
  ++
    [do { nullDir;
          seeOther "graph" (toResponse "Redirecting to /graph") },
     notFoundResponse]

我也不太确定错误的位置。

似乎这两个错误具有完全相反的含义。我现在很困惑。谁能帮忙解释一下？谢谢！

原始代码在这里：

runServer :: IO ()
runServer = do
configureLogger
staticDir <- getStaticDir
redirectUrlGraphEmail <- retrieveAuthURL testUrl
redirectUrlGraphPost <- retrieveAuthURL testPostUrl
aboutContents <- LazyIO.readFile $ markdownPath ++ "README.md" 
privacyContents <- LazyIO.readFile $ markdownPath ++ "PRIVACY.md"

-- Start the HTTP server
simpleHTTP serverConf $ do
  decodeBody (defaultBodyPolicy "/tmp/" 4096 4096 4096)
  msum  
       (map (\ (a, b) -> dir a b) $ routes staticDir redirectUrlGraphEmail redirectUrlGraphPost aboutContents privacyContents ) ++  
       [ do
          nullDir
          seeOther "graph" (toResponse "Redirecting to /graph"),    
          notFoundResponse
    ]

在routes另一个模块中的位置：

routes :: [Char] -> T.Text -> T.Text -> Text -> Text -> [ (String, ServerPart Response)]
routes staticDir redirectUrlGraphEmail redirectUrlGraphPost aboutContents privacyContents = [
("grid", gridResponse),
("graph", graphResponse),
("image", graphImageResponse),
...
]
4

1 回答 1

2

我想问题是你的 do 块中的第二个语句msum (...) ++ [...]被解析为(msum [...]) ++ [...]. 所以编译器看到++并推断这是列表单子中的一个语句。但根据其余代码，do 块应该使用ServerPartT IOmonad。ServerPartT IO a0这就是为什么您会收到第一条‘[Response]不匹配的错误消息。

要解决此问题，请尝试添加更多括号：

msum ((...) ++ [...])

或另一个美元运算符：

msum $ (...) ++ [...]

第二条错误消息是同一问题的另一个结果。由于编译器推断该语句在列表 monad 中，因此它也假定msum属于列表 monad。所以 msum 的参数应该是 list monad 中的 action 列表（= list of lists），但它是ServerPartT IOmonad 中的 action 列表。我希望当您添加缺少的括号并且编译器看到msum应该来自ServerPartT IOmonad 时，此错误会消失。

错误位置应在您复制的部分上方的编译器输出中提供。应该有一个文件名，然后是一个冒号，然后是一个行号。编译器还报告与错误相关的源代码片段。请注意，例如，第一条错误消息没有三段不相关的源代码，但第一段是第二段的一部分，第二段是第三段的一部分。因此，编译器首先向您显示有错误的部分，然后越来越大的部分提供更多上下文。

于 2016-09-15T17:51:50.257 回答