在下面的模块中,函数g编译时没有注释,但函数f给出消息“that not match type",并解释为(err ::Exception | e)不匹配()。但是,throwException和toISOString都会在Eff中返回一个具有异常效果(以及其他可能的效果)的值。看起来好像catchException没有移除f中的异常效果,但确实移除了g中的效果。实际上,f的推断类型是:
f :: forall e.
我刚开始学习的纯文本,但是我被困在了的末尾。__do (/Users/chad/playground/purescript/tests/tmp/node_modules/Main/index.js:19:201)
at Object.<anonymous> (/Users/chad/playground/purescript/tests/tmp/