0004955: Type checker loops and aborts if recursive type expression is constrained - MantisBT

Mantis Bug Tracker

View Issue Details [ Jump to Notes ]

[ Issue History ] [ Print ]

ID

Project

Category

View Status

Date Submitted

Last Update

0004955

OCaml

OCaml general

public

2010-01-06 09:10

2010-04-30 05:15

Reporter

kaustuv

Assigned To

garrigue

Priority

normal

Severity

crash

Reproducibility

always

Status

closed

Resolution

fixed

Platform

OS

OS Version

Product Version

3.11.1

Target Version

Fixed in Version

3.11.2+dev

Summary

0004955: Type checker loops and aborts if recursive type expression is constrained

Description

# type t = ([`A of 'a] as 'a) constraint 'a = t ;;

Fatal error: exception Stack_overflow

Tags

No tags attached.

Relationships

Notes
(0005218) garrigue (manager) 2010-01-06 12:32	Delay check for cyclic abbreviations after enforcing constraints typedecl.ml.

(0005420) garrigue (manager) 2010-04-30 05:15	Already fixed, just close.

Issue History
Date Modified	Username	Field	Change
2010-01-06 09:10	kaustuv	New Issue
2010-01-06 12:32	garrigue	Note Added: 0005218
2010-01-06 12:32	garrigue	Status	new => resolved
2010-01-06 12:32	garrigue	Fixed in Version	=> 3.11.2+dev
2010-01-06 12:32	garrigue	Resolution	open => fixed
2010-01-06 12:32	garrigue	Assigned To	=> garrigue
2010-04-30 05:15	garrigue	Note Added: 0005420
2010-04-30 05:15	garrigue	Status	resolved => closed

Copyright © 2000 - 2011 MantisBT Group