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
Assigned To 
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:

  type foo =
  let bar =

module Std_mod = struct
  module Arg = Std_arg

module Func (Arg : ARG) = struct

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