如何hoogle使用 cabal 和 nix生成文档,可能使用本地服务器?
我知道有一个cabal new-haddock命令,但它抛出一个错误:
cabal: renderBuildTargetProblem: unexpected status (TargetDisabledByUser,Nothing)
CallStack (from HasCallStack):
error, called at ./Distribution/Client/CmdErrorMessages.hs:329:14 in main:Distribution.Client.CmdErrorMessages
Run Code Online (Sandbox Code Playgroud)
它似乎用于构建我的项目的文档,而不是我的依赖项。
我读过SPJ 的“Tackling the Awkward Squad”论文,其中大部分内容很容易理解,但是我并不完全理解分隔线上方的这两个条件究竟意味着什么:
在论文中指出,它们在这里是为了确保第二个上下文 (E2) 是最大的,即它包括所有活动的捕获。但是我并不完全理解它的意思。这是否意味着如果有catch第二个线程内部就不会抛出异常?但是为什么绑定也在那里呢?