camlp4.macro fails to undefine a macro with an expression #5896

vicuna · 2013-01-19T05:19:22Z

Original bug ID: 5896
Reporter: jm
Status: closed (set by @damiendoligez on 2015-01-13T18:38:47Z)
Resolution: suspended
Priority: normal
Severity: minor
Target version: undecided
Category: -for Camlp4 use https://github.com/ocaml/camlp4/issues
Monitored by: meyer

Bug description

% cat t.ml
DEFINE A = B
UNDEF A
% ocamlfind ocamlc -syntax camlp4o -package camlp4.macro t.ml
File "t.ml", line 2, characters 7-8:
Camlp4: Uncaught exception: Delete.Rule_not_found [...]

vicuna · 2013-01-19T16:19:39Z

Comment author: @bobzhang

This is due to the fact that when you insert a grammar dynamically

EXTEND Gram
expr: LEVEL "simple"
[ [ UIDENT $x$ -> (new reloc _loc)#expr e ]]
;

its internal representation is normalized as 'UIDENT $x'

vicuna · 2015-01-13T18:38:47Z

Comment author: @damiendoligez

Transferred to camlp4/camlp4#79

vicuna closed this as completed Jan 13, 2015

vicuna added suspended camlp4 bug labels Mar 14, 2019

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

camlp4.macro fails to undefine a macro with an expression #5896

camlp4.macro fails to undefine a macro with an expression #5896

vicuna commented Jan 19, 2013

vicuna commented Jan 19, 2013

vicuna commented Jan 13, 2015

camlp4.macro fails to undefine a macro with an expression #5896

camlp4.macro fails to undefine a macro with an expression #5896

Comments

vicuna commented Jan 19, 2013

Bug description

vicuna commented Jan 19, 2013

This is due to the fact that when you insert a grammar dynamically

EXTEND Gram expr: LEVEL "simple" [ [ UIDENT $x$ -> (new reloc _loc)#expr e ]] ;

vicuna commented Jan 13, 2015

EXTEND Gram
expr: LEVEL "simple"
[ [ UIDENT $x$ -> (new reloc _loc)#expr e ]]
;