> I checked in a fix that only required changes to profile.sml. O.k. I see the decIsWild predicate in dead.fun leaves in wildcard declarations. That seems to contradict the last line in src/basis-library/README.