为什么当我向主函数添加类型描述时会得到一个裸顶级表达式

Question

我正在尝试运行我的主文件，它说

Parse error: naked expression at top level
Perhaps you intended to use TemplateHaskell

这是我的相关代码

module Main where  
import System.IO
import System.Environment
main ∷ IO ()
main = do 

Answer 1

必须启用 UnicodeSyntax 扩展才能使用 ∷ 。尝试{-# LANGUAGE UnicodeSyntax #-}文件顶部或使用两个冒号，如 main :: IO () .