0005124: Subsitution inside a signature leads to odd printing

View Issue Details [ Jump to Notes ]

[ Issue History ] [ Print ]

Project

Category

View Status

Date Submitted

Last Update

0005124

OCaml

OCaml general

public

2010-08-12 01:31

2010-08-19 04:07

Reporter

yallop

Assigned To

Priority

normal

Severity

tweak

Reproducibility

always

Status

closed

Resolution

fixed

Platform

OS Version

Product Version

3.12.0

Target Version

Fixed in Version

3.12.1+dev

Summary

0005124: Subsitution inside a signature leads to odd printing

Description

Note the printed value for N ("sig and ..."):

Objective Caml version 3.12.0

# module type M = sig type t and s = t end;;
module type M = sig type t and s = t end
# module type N = M with type t := int;;
module type N = sig and s = int end

Tags

No tags attached.

Attached Files

Relationships

Notes
(0005640) garrigue (manager) 2010-08-19 04:07	Thanks for the report. This will be fixed in 3.12.1. (Corrected in typemod.ml, revision 10650)

Issue History
Date Modified	Username	Field	Change
2010-08-12 01:31	yallop	New Issue
2010-08-19 04:07	garrigue	Note Added: 0005640
2010-08-19 04:07	garrigue	Status	new => closed
2010-08-19 04:07	garrigue	Resolution	open => fixed
2010-08-19 04:07	garrigue	Fixed in Version	=> 3.12.1+dev