Racket supports DSL construction through an open compiler, where the compiler is made open through its macro system. Programmers define new syntactic constructs by macro-expansion to existing constructs, using the Racket module system to hide the originals and rename the new ones as needed. Taken together, these facilities permit the definition of new languages, even enabling new languages to give new semantics to familiar syntax.