[racket-dev] P4P: A Syntax Proposal

How does P4P interact with existing macros? How much work does it take
to make a macro such as require/contract available to P4P programs?


Is there an equivalent of the dotted-infix syntax in P4P? What would
the following line look like in P4P? :

    (provide/contract [process (path-string? path-string? (listof
symbol?) . -> . any)])


Right now, if I run

   #lang s-exp "p4p.rkt"
   require(srfi/1)

I get the error

   require: not at module level or top level in: require

Is this a bug?