Hello, I would like to know how do I match multiple variables to a regular expression. My idea is to match every *f* variables (f...) to an *f* in ((contract C ((T x) ...) ((T f)) ...) ... ). I am trying to implement a core language for smart contracts in Racket, but I need to have as pre condition in my reduction rules that the *f* is a function in one of the contracts. Thank you! :)
https://bitbucket.org/beatrizmoreira/msc/src/master/fwsollast.rkt -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-users/e4bc2e79-c375-4dad-8d49-2f308ad53c19n%40googlegroups.com.