Open peti opened 9 years ago
Interesting. It compiles in 7.8.3. I'll upgrade to 7.10 and look into this.
In the meantime, I've removed the instance signature and let/in from the nontrivial lteInduction
case https://github.com/avieth/TypeNat/commit/e71ce814986f22a22572aca9ad17d87e4c621c3b . I think this is an improvement in any case, and it may even fix the problem. I've gone over it a few times and I'm convinced that it's well-typed :) but maybe I'm missing something. I'll put this up as 0.2.1.0.
Bad news here https://github.com/avieth/TypeNat/commit/c5631e8dff9d6015b518c734103ee0cbb03a6397
This patch makes it compile on 7.10.1, but the commit message explains another bug.
This bug is not present in GHC 7.8.4
Is TypeNat-0.2.0.0 supposed to work with GHC 7.10.x? I tried to compile it, but ran into the following error message: http://hydra.cryp.to/build/799728/nixlog/2/raw.