> Right. That's why I have the exception to allow unbound id that starts with > "/" to become a tag (after stripping "/" out, of course) like what Pollen > would normally do.
At one point I considered having a magic character that would denote tags, somewhat like you suggest. But: 1) It breaks one of the golden rules of Pollen (= that every tag corresponds to a function with the same name) 2) Questionable ergonomics: when you want to change `/foo` to a defined function, are you supposed to search-and-replace all `/foo` with `foo`? That's a drag. 3) Identifier-sniffing schemes like this tend to have unintended problems (for instance, what happens to `/` the division function) > But again, I'm not arguing that what I did is better. I just want to know if > there is any way to accomplish this without touching top.rkt Why not make a new `#lang pollen/def` dialect that takes everything from `#lang pollen` except for `#%top`? -- You received this message because you are subscribed to the Google Groups "Pollen" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. For more options, visit https://groups.google.com/d/optout.
