You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Original bug ID: 5786 Reporter: meyer Assigned to:@bobzhang Status: closed (set by @diml on 2016-12-07T17:27:36Z) Resolution: open Priority: normal Severity: feature Category: -for Camlp4 use https://github.com/ocaml/camlp4/issues Monitored by:@hcarty
Bug description
type t =
A of a item
| B of b item
and 'a item = Item of 'a
and a = string
and b = int
Will fail to generate the visitors with cryptic message similar to:
File "ghost-location", line 1, characters 0-0:
Warning 17: the virtual method unit is not declared.
File "ghost-location", line 1, characters 0-0:
Error: This class should be virtual.
The following methods are undefined : unit
Additional information
In order to generate the visitors Camlp4 would need to have type reflection. Simple work-around would be good enough in most cases.
The text was updated successfully, but these errors were encountered:
this should be considered as a feature request, since the foldgenerator was quite ad-hoc, and was just used for bootstrapping purpose, it can only handle basic ADT, types like record type, polymorphic variants are not handled well
Original bug ID: 5786
Reporter: meyer
Assigned to: @bobzhang
Status: closed (set by @diml on 2016-12-07T17:27:36Z)
Resolution: open
Priority: normal
Severity: feature
Category: -for Camlp4 use https://github.com/ocaml/camlp4/issues
Monitored by: @hcarty
Bug description
Will fail to generate the visitors with cryptic message similar to:
Additional information
In order to generate the visitors Camlp4 would need to have type reflection. Simple work-around would be good enough in most cases.
The text was updated successfully, but these errors were encountered: