Fatal编程技术网

Haskell-forall错误

haskell

Haskell-forall错误,haskell,eclipse-fp,Haskell,Eclipse Fp,Eclipse在explicit forall的编辑器中显示错误，尽管我可以无错误地运行脚本。我怎样才能解决这个问题？（当我在cmd中运行它时也会发生这种情况，我想我需要一个标志！） 另外，关于默认为整数类型的警告也很烦人，有没有办法阻止它们 您需要在每个文件中明确声明语言扩展名，如下所示 {-# LANGUAGE FOO #-} 其中，FOO是，ExplicitForall，让我们为所有编写，ScopedTypeVariables，这意味着您可以编写 foo :: forall a.

Eclipse在explicit forall的编辑器中显示错误，尽管我可以无错误地运行脚本。我怎样才能解决这个问题？（当我在cmd中运行它时也会发生这种情况，我想我需要一个标志！）




另外，关于默认为整数类型的警告也很烦人，有没有办法阻止它们

您需要在每个文件中明确声明语言扩展名，如下所示

{-# LANGUAGE FOO #-}
其中，
FOO
是，
ExplicitForall
，让我们为所有编写
，
ScopedTypeVariables
，这意味着您可以编写


 foo :: forall a. a -> [a]
 foo a = [a] :: [a]


并按预期进行明确的签名工作。或者
RankNTypes
，让您编写更高级别的类型，如


 foo :: (forall a. a -> a) -> Int -> Int



在这种情况下，您似乎只想在文件中启用
ExplicitForall
是否启用了
{-#LANGUAGE ExplicitForall}
？（或
ScopedTypeVariables
）我应该在文件顶部定义它吗？我应该在每个文件中定义它吗？！您需要
来做什么？除非您没有特定的需要，否则您可能希望删除它。@Doggynub：您当然需要在某个地方启用它，通常的选项是在您的
project.cabal
文件中，我应该如何/在何处将其添加到.cabal文件中关于默认为整数的内容似乎您需要删除-Wall选项或指定所有数字的类型
1:：Int
——只要有人愿意know@Doggynub我不能复制那个警告，所以我不能帮你