effectfully
effectfully
- [ ] **Figure out and document the shrinking order on types in the PIR type generator** Currently the shrinking order on types isn’t specified anywhere in the PIR generators...
- [ ] **Investigate if making `fixKind` return a list of types is feasible and worth it** Currently `fixKind` returns only one type. Meaning the shrinker always chooses, say, a...
- [ ] **PIR generators produce operationally trivial terms** I wanted to add a very simple property test using the PIR generators, but got surprised at how slow the test...
> ;; flycheck backend deprecated October 2022 > ;; (add-hook 'haskell-mode-hook 'flycheck-mode) Oh I see what my problem might be... I still use `flycheck`.
I've tried older versions of `dante`, same issue. Must be something else. Sorry for the noise.
I've now tried `flymake` too, doesn't work either. So what I do is I open a file that imports a file with a type error. Previously that allowed me to...
Hm, it looks like [this](https://github.com/jyp/dante/commit/013f87b8d217101d9724a6ccb1cce63444b05e26) commit might be the culprit. It even says "However errors in dependencies won't be detected as such". Is it possible to make this customizable?
/benchmark validation
/benchmark nofib
/benchmark lists