Check names are bound in definitions, so nothing is left uninferred
Check names are bound in definitions, so nothing is left uninferred

darcs-hash:20080309222843-228f4-a4ed44b8191ec40d7f7b0009b94a39759d728864.gz

avsm/Ivor,avsm/Ivor