Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0005904OCamlOCaml generalpublic2013-01-23 23:152013-07-29 10:36
Reportermeyer 
Assigned Tofrisch 
PrioritylowSeverityfeatureReproducibilityhave not tried
StatusassignedResolutionopen 
PlatformOSOS Version
Product Version 
Target VersionFixed in Version 
Summary0005904: -ppx could be made working in toplevel
DescriptionI'd like to test my -ppx code in toplevel. Currently -ppx works just offline, using the file system.

This is a feature wish, and probably requiring some effort, nevertheless I think it's worthwhile.
TagsNo tags attached.
Attached Files

- Relationships

-  Notes
(0008797)
frisch (developer)
2013-01-25 10:15
edited on: 2013-01-25 10:22

Commit 13278 (trunk) adds support for -ppx to the toplevel. Each phrase (not directives) is passed to external rewriters. Not that when the toplevel is used to execute a script (passed on its command-line, or with #use), then each phrase is rewritten independently. It might be worth sending the whole script to the rewriter instead. It would also allow the rewriter to rewrite directives.

Actually, it would make sense to allow the rewriters to maintain their state across phrases. This could be done by letting the rewriters send (and read back) some extra custom data in addition to the ASTs; this requires the rewriter to maintain a clean notion of state, which can be easily serialized. Otherwise, we could keep the rewriters alive as external processes and talk with them for each phrase. But this requires more complex process control logic (from module Unix).

(0008802)
meyer (developer)
2013-01-27 23:24
edited on: 2013-01-27 23:24

That sounds awesome, thanks.

(0009954)
gasche (developer)
2013-07-28 23:36

Is this issue resolved?
(0009975)
frisch (developer)
2013-07-29 10:36

Support for -ppx has been added to the toplevel, but it can be improved (see my note : "Actually, it would make sense to allow the rewriters to maintain their state across phrases...").

- Issue History
Date Modified Username Field Change
2013-01-23 23:15 meyer New Issue
2013-01-23 23:15 meyer Status new => assigned
2013-01-23 23:15 meyer Assigned To => frisch
2013-01-25 10:15 frisch Note Added: 0008797
2013-01-25 10:16 frisch Note Edited: 0008797 View Revisions
2013-01-25 10:22 frisch Note Edited: 0008797 View Revisions
2013-01-27 23:24 meyer Note Added: 0008802
2013-01-27 23:24 meyer Note Edited: 0008802 View Revisions
2013-07-28 23:36 gasche Note Added: 0009954
2013-07-29 10:36 frisch Note Added: 0009975


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker