Check out Racket's syntax-parse and the "Fortifying Macros" paper for macros with better error reporting:

http://docs.racket-lang.org/syntax/stxparse.html

http://www.ccs.neu.edu/racket/pubs/icfp10-cf.pdf