0004730: type 'a t = 'a is not correctly handled by the typechecker. - MantisBT

Mantis Bug Tracker

View Issue Details [ Jump to Notes ]

[ Issue History ] [ Print ]

ID

Project

Category

View Status

Date Submitted

Last Update

0004730

OCaml

OCaml general

public

2009-02-25 10:25

2009-03-02 07:44

Reporter

jm

Assigned To

Priority

normal

Severity

crash

Reproducibility

always

Status

closed

Resolution

fixed

Platform

OS

OS Version

Product Version

3.11.0+beta

Target Version

Fixed in Version

3.11.1+dev

Summary

0004730: type 'a t = 'a is not correctly handled by the typechecker.

Description

% cat a.ml
type 'a t = 'a
module M
: sig val get : 'a t -> string end
= struct let get t = t end;;
""^M.get 0
% ocamlc a.ml
% ./a.out
zsh: segmentation fault ./a.out
% ocamlc -v
The Objective Caml compiler, version 3.12.0+dev2 (2009-01-25)
Standard library directory: /usr/local/lib/ocaml

Tags

No tags attached.

Relationships

Notes
(0004844) Christophe Troestler (reporter) 2009-03-01 16:19	Bug already present in version 3.10.2.

(0004846) garrigue (manager) 2009-03-02 07:44	Thanks for reporting this incredibly stupid bug, which was due to a wrong variable name when refactoring code in version 1.205.2.4 of ctype.ml. This is now fixed in CVS, head and branches 3.10 and 3.11.

Issue History
Date Modified	Username	Field	Change
2009-02-25 10:25	jm	New Issue
2009-03-01 16:19	Christophe Troestler	Note Added: 0004844
2009-03-02 07:44	garrigue	Note Added: 0004846
2009-03-02 07:44	garrigue	Status	new => closed
2009-03-02 07:44	garrigue	Resolution	open => fixed
2009-03-02 07:44	garrigue	Fixed in Version	=> 3.11.1+dev

Copyright © 2000 - 2011 MantisBT Group