Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0005838OCamlfor Camlp4 use 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
2016-02-08 12:49 doligez Category Camlp4 => for Camlp4 use [^]
2016-02-08 12:50 doligez Category for Camlp4 use [^] => for Camlp4 use [^]

Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker