0005650: Camlp4FoldGenerator doesn't handle well "abstract" types

View Issue Details [ Jump to Notes ]

[ Issue History ] [ Print ]

Project

Category

View Status

Date Submitted

Last Update

0005650

OCaml

Camlp4

public

2012-06-15 16:38

2012-07-17 14:27

Reporter

kyoDralliam

Assigned To

Priority

normal

Severity

feature

Reproducibility

always

Status

acknowledged

Resolution

open

Platform

OS Version

Product Version

3.12.1

Target Version

Fixed in Version

Summary

0005650: Camlp4FoldGenerator doesn't handle well "abstract" types

Description

When using Camlp4FoldGenerator to create a map or fold class for a type t, you can't have not basic types without representation, for instance Num.num type.
A simple way to solve it would be for example to generate virtual method for such type and let the user have an abstract class i.e. accept

class virtual map = Camlp4MapGenerator.generated;;

(Until OCaml 4.00beta2 only the following form is accepted, without the virtual keyword)

class map = Camlp4MapGenerator.generated;;

Steps To Reproduce

type t = A of in_channel

class map = Camlp4MapGenerator.generated;;

-->
File "ghost-location", line 1, characters 0-0:
Warning 17: the virtual method in_channel is not declared.
File "ghost-location", line 1, characters 0-0:
Error: This class should be virtual.
The following methods are undefined : in_channel

Tags

No tags attached.

Attached Files

Relationships

Notes
(0007564) hongboz (developer) 2012-06-18 14:42	Hi, if you are patient, I wrote a code generation frame work FAN, which is more functional and general purpose. https://groups.google.com/d/topic/fa.caml/jUiHYhEDIZo/discussion [^]

Issue History
Date Modified	Username	Field	Change
2012-06-15 16:38	kyoDralliam	New Issue
2012-06-18 14:42	hongboz	Note Added: 0007564
2012-07-17 14:27	doligez	Status	new => acknowledged