Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0005838OCamlCamlp4public2012-11-30 18:032013-06-28 18:01
Reportermottl 
Assigned To 
PrioritylowSeverityfeatureReproducibilityN/A
StatusacknowledgedResolutionopen 
PlatformOSOS Version
Product Version4.00.1 
Target VersionFixed in Version 
Summary0005838: Camlp4 macro parser does not support binding structures
DescriptionIt 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.
TagsNo tags attached.
Attached Files

- Relationships

-  Notes
There are no notes attached to this issue.

- Issue History
Date Modified Username Field Change
2012-11-30 18:03 mottl New Issue
2013-06-28 18:01 doligez Status new => acknowledged


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker