So why would you try to compile your software to verify those instead of just, e.g., generating your documentation ?
Reply on news.ycombinator.com