I am too buried in syntax-certificate work at the moment to follow along reply properly, but for what it's worth, I have a very different proposal in mind: a single file can have multiple loadable things (maybe "modulets"), and a program `main' should be one of those loadable things --- not an exported function. That resolves the problem with picking a special name, and it avoids having to load the "main" part when a module is used as a library.
I hope to reply more properly soon. _________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev
