3

我无法理解此错误消息，不太确定接下来应该调查什么。

我有以下进口：

{-# LANGUAGE OverloadedStrings #-}
module Main where

import Web.Scotty

import Control.Applicative
import Control.Monad.IO.Class
import Database.SQLite.Simple
import Database.SQLite.Simple.FromRow
import qualified Data.Text.Lazy as L

导致错误的代码：

routes :: ScottyM ()
routes = do
  post "/create" $ do
    f <- param ("fa" :: L.Text)
    file "create.html"

和错误：

    • Ambiguous type variable ‘a0’ arising from a use of ‘param’
  prevents the constraint ‘(Parsable a0)’ from being solved.
  Probable fix: use a type annotation to specify what ‘a0’ should be.
  These potential instances exist:
    instance Parsable Integer
      -- Defined in ‘scotty-0.11.0:Web.Scotty.Action’
    instance Parsable L.Text
      -- Defined in ‘scotty-0.11.0:Web.Scotty.Action’
    instance Parsable ()
      -- Defined in ‘scotty-0.11.0:Web.Scotty.Action’
    ...plus 7 others
    ...plus 12 instances involving out-of-scope types
    (use -fprint-potential-instances to see them all)
• In a stmt of a 'do' block: f <- param ("f" :: L.Text)
  In the second argument of ‘($)’, namely
    ‘do { f <- param ("f" :: L.Text);
          file "create.html" }’
  In a stmt of a 'do' block:
    post "/create"
    $ do { f <- param ("f" :: L.Text);
           file "create.html" }
4

1 回答 1

5

paramhas type Parseable a => Text -> ActionM a，这意味着f会有 type a。但是，您永远不会对 进行任何操作f，因此无法推断a应该是什么类型。假设您不想在使用之前只注释掉该行，则f需要提供一个显式类型：

routes :: ScottyM ()
routes = do
  post "/create" $ do
    f <- param ("fa" :: L.Text) :: ActionM L.Text
    file "create.html"

您可能会选择任何具有Parseable实例L.Text的类型，但看起来应该是它应该是的类型。实际使用f后，您可能可以删除显式注释。

于 2016-09-07T21:05:31.473 回答