rowandavies/sml-cidre — Issue #10: Spurious coverage error in normal ML checking (cmlib v0.4.0)
Author: robsimmons
Created: 2011-10-26 20:01:50+00:00
State: open

Ironically, I think it's in your code (pqueue-lazy-paring.sml).

```
- Cidre.make "/Users/rjsimmon/.smackage/lib/cmlib/v0.4.0/cmlib.mlb";
```

gives me two warnings - one of them is where I'd added a nonexhaustive match ignore annotation (see issue #9), but the other, in `pqueue-lazy-pairing.sml`, doesn't seem to be noticed by MLton when it's checking the same file and doesn't make much sense to me in either case.