Nicolas Frisby
Nicolas Frisby
As with some other parts of the code -- which I was using to learn about the type checker --- this function seemed necessary/correct at one point, but subsequent refinements...
In `vproof`, the tag of `MkV` should be used as that `Lacks` constraint's evidence.
The `handsoff` pass prevents row unification from articulating an untouchable variable. At first blush, that seems right. However, because of the `Ren`-based approach, articulation is a "pure" operation: its has...
I still don't feel confident about anticipating when, where, and why Derived constraints arise. For now, `simplifyWanteds2` ignores them, and I'm pretty sure that's wrong. A large part of the...
One consequence of this being a project I used to learn about the type checker and `OutsideIn(X)` is that there's plenty of design decisions I'm not sure about. In particular,...
Contradictions also need the deactivation pass of `simplifyWanteds` that replaces restriction skolems with restrictions of genuine skolems. This will prevent GHC from panicking when rendering the contradiction as an error...
I defined the `.&` and `.=` families separately so that we could have the rather natural syntax that we have. But doing it this way opens the possibility of type...
I anticipate that this is low-priority. But it's trivial to fix and might help someone somewhere. `fmap` does not split: https://github.com/nick8325/quickcheck/blob/73c676f6451a27aff04ce60b20b9ffa8f34faf28/src/Test/QuickCheck/Gen.hs#L61-L63 `>>=` does split: https://github.com/nick8325/quickcheck/blob/73c676f6451a27aff04ce60b20b9ffa8f34faf28/src/Test/QuickCheck/Gen.hs#L79-L85 `promote` could be defined instead...
This Issue is complete once the library includes these instances. ```haskell instance Monoid Property where mempty = property True instance Semigroup Property where () = (.&&.) ``` I'm presuming that...
Using an up-to-date commit ``` nfrisby@frisbycomp:~/cardano-haskell/cardano-ledger$ git show origin/master --no-patch commit 63d98c3f8e9eb2878cec3ab71c54fc40c798ac01 (origin/master, origin/HEAD) Author: Tim Sheard Date: Thu Aug 24 15:45:07 2023 -0400 Fix inactive PoolStake not counting as...