473,287 Members | 1,492 Online
Bytes | Software Development & Data Engineering Community
Post Job

Home Posts Topics Members FAQ

Join Bytes to post your question to a community of 473,287 software developers and data experts.

Macro expansion: intercept statement interpretation

Hi

Here is a script I want to be able to write (explanation appears after):

*** start of script ***

import MyCustomMacroLib # This does the magic I would like help for.

# This is not python, but the module imported above
# will use this block internally and prevent it
# getting to the interpreter.
defmacro MyMacro1:
form = """for <#1> := <#2> to <#3> do begin
<#4multiline>
end"""
subsituteWith = """for <#1> in range(<#2>,<#3>+1):
<#4multiline>"""

for i := 0 to 3 do begin # This is not python syntax, but the module
print i # imported above makes it so that this
print 'hello' # is first checked against defined macros
end # and substitutions are made if syntax
# matches
""" Should give:
0
hello
1
hello
2
hello
3
hello
"""

*** end of script ***

I want the module "MyCustomMacroLib" to set up something where I can have
write code that checks each of the statements of this script, and does
macro expansion before passing the result to the python interpreter.

When the (undefined in python) "defmacro" statement is encountered, the
module sets this up in memory as some kind of "macro" object, and as the
remainder of the lines is parsed, a syntax check is made to see if a macro
fits, and if so the expansion is performed and the result is passed to the
interpreter/compiler.

This particular (useless) example sets up a macro where loops can be
written in objectpascal form. I actually have no particular need for this
kind of functionality (I think?), but it looks cool!. I got interested
after reading a couple of Paul Grahams essays about lisp. I also suspect
there actually may be some real problem domains where extending the
language syntax may be beneficial - I just cannot think of any right now :)

I can figure out the minor practical details of things like handling
indention, code objects and the like myself, but I don't know where to
start to try and intercept statements before they get to the interpreter.
Some of the docs I read today appear to indicate that there may also be
differences in the way interactive interpreter and command-line execution
deal with statements. I am lost in the python internals!

Note that I could easily write a script that takes another script as an
argument, preprocesses it, and evaluates the resulting list of python
statments. I do however, prefer a drop-in module as shown above. Plus, I
would also like to do this dynamically in the interpreter.

Any ideas, or is this impossible? (gratuitous guru-bait)

Thanks
Caleb

Jul 18 '05 #1
3 2046
You could try to override __import__ to first parse the source for macro
definitions and do the expansions. Usage would then be:

import DoMagicWithImportModule
import ModuleWithMacros

(Your code wouldn't work, because python throws a SyntaxError long
before it even tries to execute 'import MyCustomMacroLib')
The code at http://docs.python.org/lib/examples-imp.html could be
extended to first read the contents of the module (after find_module)
and passes the expanded source (e.g. as a StringIO) to load_module.

This has of course the problem (that many implementations of macro
expansion share) that line numbers in exception dumps have not much
relation to lines of the unexpanded code...
Jul 18 '05 #2
Benjamin Niemann wrote:
You could try to override __import__ to first parse the source for macro
definitions and do the expansions. Usage would then be:

import DoMagicWithImportModule
import ModuleWithMacros

(Your code wouldn't work, because python throws a SyntaxError long
before it even tries to execute 'import MyCustomMacroLib')
The code at http://docs.python.org/lib/examples-imp.html could be
extended to first read the contents of the module (after find_module)
and passes the expanded source (e.g. as a StringIO) to load_module.

This has of course the problem (that many implementations of macro
expansion share) that line numbers in exception dumps have not much
relation to lines of the unexpanded code...

If this actually works, a nice application could be rapid prototyping of
syntax extensions to python ('import this module and you can test and
see why my decorator syntax is better than yours' ;)
Jul 18 '05 #3
On Wed, 25 Aug 2004 00:07:22 +0200, Benjamin Niemann <pi**@odahoda.de>
wrote:
...
If this actually works, a nice application could be rapid prototyping of
syntax extensions to python ('import this module and you can test and
see why my decorator syntax is better than yours' ;)


Well spotted! I didn't think of that. The ongoing decorator thread could
have had some real-world testing being done. Also, the kind of macro
expansion I want to play around could avoid the need for decorators to be
added to the language in the first place...
Jul 18 '05 #4

This thread has been closed and replies have been disabled. Please start a new discussion.

Similar topics

699
by: mike420 | last post by:
I think everyone who used Python will agree that its syntax is the best thing going for it. It is very readable and easy for everyone to learn. But, Python does not a have very good macro...
10
by: Karim Thapa | last post by:
Why following macro does not work? #define removebrace(x) x void Foo(int a, int b, char *txt, int d, int e); main() {
44
by: Simon Morgan | last post by:
Hi, Can somebody please help me grok the offsetof() macro? I've found an explanation on http://www.embedded.com/shared/printableArticle.jhtml?articleID=18312031 but I'm afraid it still...
5
by: Patrick Kowalzick | last post by:
Hi all, Is this valid? I do not find the case in the standard: void foo( int ) {} #define FOO foo int main() {
2
by: srinu.fsl | last post by:
there's a MACRO call : MACRO1(cnf) and its expansion is : #define MACRO1(cnf) (((cnf) != TRUE)? (CLEANUP(FAIL)):(err = SUCCESS)); #define CLEANUP(a)
2
by: talkaboutquality | last post by:
Need to define a macro as, say, #ifdef NEED_FUNCTION foo(x) #else #endif
7
by: Martin Wells | last post by:
Is there any way of achieving this? Something like: #define END_SCAN() (EndScan(),CleanUpAfterScan()) (Yes I realise this doesn't work) I want to be able to invoke it as: END_SCAN();
6
by: jason | last post by:
Hi, I learned my lesson about passing pointers, but now I have a question about macros. Why does the function work and the MACRO which is doing the same thing on the surface, does not work in...
5
by: Francois Grieu | last post by:
One of the C compiler that I use <OT>(Keil's CX51)</OTbarks at #define a(b) b int main(void){return a( #if 0 #endif 0);} More generally, this compiler seems confused by any preprocessing...
2
isladogs
by: isladogs | last post by:
The next Access Europe meeting will be on Wednesday 7 Feb 2024 starting at 18:00 UK time (6PM UTC) and finishing at about 19:30 (7.30PM). In this month's session, the creator of the excellent VBE...
0
by: MeoLessi9 | last post by:
I have VirtualBox installed on Windows 11 and now I would like to install Kali on a virtual machine. However, on the official website, I see two options: "Installer images" and "Virtual machines"....
0
by: DolphinDB | last post by:
The formulas of 101 quantitative trading alphas used by WorldQuant were presented in the paper 101 Formulaic Alphas. However, some formulas are complex, leading to challenges in calculation. Take...
0
by: Aftab Ahmad | last post by:
So, I have written a code for a cmd called "Send WhatsApp Message" to open and send WhatsApp messaage. The code is given below. Dim IE As Object Set IE =...
0
by: ryjfgjl | last post by:
ExcelToDatabase: batch import excel into database automatically...
1
isladogs
by: isladogs | last post by:
The next Access Europe meeting will be on Wednesday 6 Mar 2024 starting at 18:00 UK time (6PM UTC) and finishing at about 19:15 (7.15PM). In this month's session, we are pleased to welcome back...
0
by: jfyes | last post by:
As a hardware engineer, after seeing that CEIWEI recently released a new tool for Modbus RTU Over TCP/UDP filtering and monitoring, I actively went to its official website to take a look. It turned...
0
by: ArrayDB | last post by:
The error message I've encountered is; ERROR:root:Error generating model response: exception: access violation writing 0x0000000000005140, which seems to be indicative of an access violation...
1
by: PapaRatzi | last post by:
Hello, I am teaching myself MS Access forms design and Visual Basic. I've created a table to capture a list of Top 30 singles and forms to capture new entries. The final step is a form (unbound)...

By using Bytes.com and it's services, you agree to our Privacy Policy and Terms of Use.

To disable or enable advertisements and analytics tracking please visit the manage ads & tracking page.