0001907: [patch] pa_macro: support local macros; expand in try..with..

View Issue Details [ Jump to Notes ]

[ Issue History ] [ Print ]

Project

Category

View Status

Date Submitted

Last Update

0001907

OCaml

OCaml general

public

2003-10-31 01:48

2004-06-29 22:04

Reporter

administrator

Assigned To

Priority

normal

Severity

feature

Reproducibility

always

Status

acknowledged

Resolution

open

Platform

OS Version

Product Version

Target Version

Fixed in Version

Summary

0001907: [patch] pa_macro: support local macros; expand in try..with..

Description

Full_Name: Aleksety Nogin
Version: 3.07pl2
OS: Red Hat Linux
Submission from: charter-182-203.caltech.edu (131.215.182.203)

a) It would be nice if pa_macros supported "local" macros where definition is a
part of an expression, not a separate str_item.

For example:

....... some code .....
   DEFINE body =
      ...
      ...
   IN
   IFDEF DEBUG_BUILD THEN
      try body
      with
         .... print a lot of debug information ...
   ELSE body ENDIF

While one could also write
   try
     ...
     ...
   with exn ->
      IFDEF DEBUG_BUILD THEN
         .... print a lot of debug information ...
      ELSE
         raise exn
      ENDIF

the latter is likely to be compiled into much less efficient code in
non-DEBUG_BUILD case.

b) Currently macro parameters are not expanded inside "try .. with .."
expressions.

I have a small patch that implements "DEFINE ... IN" and fixes (b) -
http://nogin.org/patches/ocaml-3.07-macro-localdefine.patch [^]

Note that the above patch is supposed to go on top of the four other pa_macro
patches I've submitted (0001901, 0001902, 0001904, and 0001905). The end result
(pa_macro with all the patches applied) is also available on our CVS - please
see http://cvs.metaprl.org:12000/cvsweb/metaprl/util/Attic/pa_macro.ml?only_with_tag=ocaml_3_07 [^]

Issue History
Date Modified	Username	Field	Change
2005-11-18 10:13	administrator	New Issue

Notes
(0000188) administrator (administrator) 2004-06-29 22:04	Ok for b/. Need to think a bit more to "DEFINE x IN ..." MM, 2004-06-29

Relationships