0005427: GADTs with object type indexes - MantisBT

Mantis Bug Tracker

View Issue Details [ Jump to Notes ]

[ Issue History ] [ Print ]

ID

Project

Category

View Status

Date Submitted

Last Update

0005427

OCaml

OCaml general

public

2011-12-15 00:50

2013-04-23 02:55

Reporter

garrigue

Assigned To

garrigue

Priority

normal

Severity

minor

Reproducibility

have not tried

Status

closed

Resolution

fixed

Platform

OS

OS Version

Product Version

3.13.0+dev

Target Version

Fixed in Version

3.13.0+dev

Summary

0005427: GADTs with object type indexes

Description

Second file

Tags

No tags attached.

bug1.ml [^] (225 bytes) 2011-12-15 00:50

Relationships

related to	0005425	closed	garrigue	GADTs with object type indexes
child of	0005428	assigned	garrigue	Behaviour of flatten_fields and various functions in presence of object indexes.
child of	0005998	assigned	garrigue	GADT typing and exhaustiveness bugs

Notes
(0006298) garrigue (manager) 2011-12-15 03:31	Fatal error in printtyp.ml, caused by printing a type abbreviation expanding directly to a Tfield. This is needed for using objects as GADT indices. Fixed in revision 11316.

Issue History
Date Modified	Username	Field	Change
2011-12-15 00:50	garrigue	New Issue
2011-12-15 00:50	garrigue	Status	new => assigned
2011-12-15 00:50	garrigue	Assigned To	=> garrigue
2011-12-15 00:50	garrigue	File Added: bug1.ml
2011-12-15 00:50	garrigue	Issue generated from	0005425
2011-12-15 00:50	garrigue	Relationship added	related to 0005425
2011-12-15 03:31	garrigue	Note Added: 0006298
2011-12-15 03:31	garrigue	Status	assigned => closed
2011-12-15 03:31	garrigue	Resolution	open => fixed
2011-12-15 03:31	garrigue	Fixed in Version	=> 3.13.0+dev
2011-12-15 03:38	garrigue	Issue cloned	0005428
2011-12-15 03:38	garrigue	Relationship added	child of 0005428
2013-04-23 02:55	garrigue	Relationship added	child of 0005998

Copyright © 2000 - 2011 MantisBT Group