0005694: Exception raised by type checker - MantisBT

Mantis Bug Tracker

View Issue Details [ Jump to Notes ]

[ Issue History ] [ Print ]

ID

Project

Category

View Status

Date Submitted

Last Update

0005694

OCaml

OCaml typing

public

2012-07-20 23:32

2012-07-21 03:16

Reporter

mottl

Assigned To

garrigue

Priority

normal

Severity

major

Reproducibility

always

Status

closed

Resolution

fixed

Platform

OS

OS Version

Product Version

4.00.0+beta2/+rc1

Target Version

Fixed in Version

4.00.0+dev

Summary

0005694: Exception raised by type checker

Description

The type checker raises an exception: Invalid_argument("List.iter2")

Steps To Reproduce

Put this in file foo.ml:

include (struct end : sig type 'a t end with type 'a t := unit)

Run "ocaml foo.ml", which will raise the mentioned exception.

Tags

No tags attached.

Relationships

Notes
(0007790) garrigue (manager) 2012-07-21 03:16	Forgot to check that the numbers of parameters were identical. Fix in trunk and 4.00, revision 12753/4.

Issue History
Date Modified	Username	Field	Change
2012-07-20 23:32	mottl	New Issue
2012-07-21 03:01	garrigue	Assigned To	=> garrigue
2012-07-21 03:01	garrigue	Status	new => assigned
2012-07-21 03:16	garrigue	Note Added: 0007790
2012-07-21 03:16	garrigue	Status	assigned => closed
2012-07-21 03:16	garrigue	Resolution	open => fixed
2012-07-21 03:16	garrigue	Fixed in Version	=> 4.00.0+dev

Copyright © 2000 - 2011 MantisBT Group