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: 4309 Reporter:@yallop Assigned to: ertai Status: closed (set by @xavierleroy on 2010-04-29T12:26:19Z) Resolution: fixed Priority: normal Severity: major Version: 3.10.0 Fixed in version: 3.10+dev Category: -for Camlp4 use https://github.com/ocaml/camlp4/issues Monitored by:@yallop
Bug description
Here's a test case:
module M = Map.Make(String)
type t = int M.t
class map = Camlp4Filters.GenerateMap.generated
class fold = Camlp4Filters.GenerateFold.generated
The code generated includes unapplied occurrences of M.t:
...
method _M_t : M.t -> M.t = fun x -> x
method t : t -> t = o#_M_t o#int
...
method _M_t : M.t -> 'self_type = fun _ -> o
method t : t -> 'self_type = o#_M_t (fun o -> o#int)
...
This is using `camlp4o -filter fold -filter map'
The text was updated successfully, but these errors were encountered:
I've done many improvments on these generators, one can now generates Map, Map2, Map3... Fold, Fold2, Fold3..., FoldMap, FoldMap2, FoldMap3...
Only the last type declaration is taken in account. And unknown types yield calls the "unknown" method. Typically one can inherit and change definitions that yield unknown.
Original bug ID: 4309
Reporter: @yallop
Assigned to: ertai
Status: closed (set by @xavierleroy on 2010-04-29T12:26:19Z)
Resolution: fixed
Priority: normal
Severity: major
Version: 3.10.0
Fixed in version: 3.10+dev
Category: -for Camlp4 use https://github.com/ocaml/camlp4/issues
Monitored by: @yallop
Bug description
Here's a test case:
module M = Map.Make(String)
type t = int M.t
class map = Camlp4Filters.GenerateMap.generated
class fold = Camlp4Filters.GenerateFold.generated
The code generated includes unapplied occurrences of M.t:
...
method _M_t : M.t -> M.t = fun x -> x
method t : t -> t = o#_M_t o#int
...
method _M_t : M.t -> 'self_type = fun _ -> o
method t : t -> 'self_type = o#_M_t (fun o -> o#int)
...
This is using `camlp4o -filter fold -filter map'
The text was updated successfully, but these errors were encountered: