module type of struct include Bar end
exposes %s#row when Bar contains private row types
#6985
Labels
module type of struct include Bar end
exposes %s#row when Bar contains private row types
#6985
Original bug ID: 6985
Reporter: labichn
Assigned to: @garrigue
Status: closed (set by @xavierleroy on 2017-02-16T14:14:55Z)
Resolution: fixed
Priority: low
Severity: minor
Platform: x86_64
OS: GNU/Linux
OS Version: 4.1.6-1
Version: 4.02.3
Fixed in version: 4.03.0+dev / +beta1
Category: ~DO NOT USE (was: OCaml general)
Related to: #7438
Monitored by: @gasche @yallop @hcarty
Bug description
See steps to reproduce for a minimal example.
The
module type of struct include Bar end
idiom to get a strengthened version of the Bar module's signature does not act as expected when Bar contains private row variables (both PV and open obj). The module type contains an additional type, named rtype#row (where rtype is the type with the private row variable).The obvious workaround is to avoid the
module type of
sugar.This misbehavior is consistent from 3.12.1 up.
Steps to reproduce
The text was updated successfully, but these errors were encountered: