关于在基于Asterius的Haskell WASM库中无需编译源代码即可构建Haddock文档的技术问询

是的，你完全可以不用完整编译源代码就能生成包含所有带注释函数的Haddock文档——包括仅在WASM flag启用时暴露的Boardgame.Web模块和条件编译的代码。下面是针对你场景的具体解决方法：

问题根源分析 #

你遇到的核心问题是ahc-cabal new-haddock可能默认未启用wasm flag，且回退到常规GHC时，GHC无法解析Asterius特有的语法（比如foreign import javascript），同时也看不到#ifdef WASM包裹的代码。而Haddock本身并不需要编译代码到目标文件，它只需要解析源码的语法和注释，因此我们可以通过调整参数绕过编译环节。

方法一：用Cabal配合WASM flag和Asterius编译器 #

首先尝试直接让ahc-cabal启用wasm flag来生成文档，强制它使用Asterius的编译器处理特有的语法：

ahc-cabal new-haddock --flags=wasm

如果这个命令仍然回退到GHC报错，你可以显式指定编译器：

cabal new-haddock --flags=wasm --with-compiler=ahc

这个命令会让Cabal用Asterius的编译器处理依赖和语法解析，同时启用WASM相关的模块和宏，生成包含所有目标内容的文档。

方法二：手动调用Haddock跳过编译和类型检查 #

如果方法一仍然有问题，你可以直接调用Haddock工具，通过参数跳过编译环节，只做注释提取：

haddock --optghc=-DWASM --parse-only Boardgame.hs Boardgame/Web.hs --html --output docs

参数说明： #

• --optghc=-DWASM：告诉Haddock调用GHC解析器时预定义WASM宏，这样#ifdef WASM包裹的代码会被正常解析。
• --parse-only：让Haddock仅做语法解析和注释提取，跳过类型检查和编译步骤，完美避开GHC不认识Asterius特有语法的问题。
• --html：指定生成HTML格式的文档（默认也是HTML，可省略）。
• --output docs：指定文档输出到docs目录，你可以改成自己想要的路径。

这个方法的优势是完全脱离编译流程，直接提取所有带文档注释的内容——包括Boardgame.hs里的Player类型，以及Boardgame.Web.hs里的addWebGame函数。

补充说明 #

• 对于Boardgame.Web.hs中依赖的asterius-prelude模块，在--parse-only模式下Haddock不会检查依赖是否存在，只会提取当前模块的注释，因此无需担心依赖缺失的问题。
• 如果你只需要生成模块的接口文档（而非HTML），可以把--html换成--hoogle或其他格式参数。

内容的提问来源于stack exchange，提问作者Neträm