Hacker News new | ask | show | jobs
by a_strange_guy 5479 days ago
You don't typecheck macros since they run at compile time. You typecheck the expanded code instead.