小编Row*_*one的帖子

Haskell Cabal+Nix:为项目中的所有依赖项生成本地文档

如何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)

它似乎用于构建我的项目的文档,而不是我的依赖项。

haskell cabal nix

8
推荐指数
1
解决办法
129
查看次数

Haskell 中向其他线程抛出异常的操作语义

我读过SPJ 的“Tackling the Awkward Squad”论文,其中大部分内容很容易理解,但是我并不完全理解分隔线上方的这两个条件究竟意味着什么:

throwTo 语义

在论文中指出,它们在这里是为了确保第二个上下文 (E2) 是最大的,即它包括所有活动的捕获。但是我并不完全理解它的意思。这是否意味着如果有catch第二个线程内部就不会抛出异常?但是为什么绑定也在那里呢?

haskell semantics

5
推荐指数
0
解决办法
48
查看次数

标签 统计

haskell ×2

cabal ×1

nix ×1

semantics ×1