report which macro resulted in code that doesn't typecheck