0005838: Camlp4 macro parser does not support binding structures

View Issue Details [ Jump to Notes ]

[ Issue History ] [ Print ]

Project

Category

View Status

Date Submitted

Last Update

0005838

OCaml

Camlp4

public

2012-11-30 18:03

Reporter

mottl

Assigned To

Priority

low

Severity

feature

Reproducibility

N/A

Status

new

Resolution

open

Platform

OS Version

Product Version

4.00.1

Target Version

Fixed in Version

Summary

0005838: Camlp4 macro parser does not support binding structures

Description

It would be awesome if the macro parser shipping with Camlp4 could support structures and not just expressions, e.g. maybe along these lines:

---
DEFINE Body =
  type foo = Arg.foo
  let bar = Arg.bar
;;

module Std_mod = struct
  module Arg = Std_arg
  Body
end

module Func (Arg : ARG) = struct
  Body
end
---

The above would essentially allow compile-time functor instantiations. Though it is possible to work around this with first-class modules, the resulting code for both definition and usage is quite clumsy and somewhat hard to get right for non-trivial cases.

Issue History
Date Modified	Username	Field	Change
2012-11-30 18:03	mottl	New Issue

Relationships

Notes
There are no notes attached to this issue.