0004051: ocamlc 3.10+dev: "Fatal error: exception Ctype.Unify(_, _)" (seems to be different from 0003918). - MantisBT

Mantis Bug Tracker

View Issue Details [ Jump to Notes ]

[ Issue History ] [ Print ]

ID

Project

Category

View Status

Date Submitted

Last Update

0004051

OCaml

OCaml general

public

2006-06-21 00:46

2006-06-26 11:42

Reporter

dboulytchev

Assigned To

garrigue

Priority

normal

Severity

crash

Reproducibility

always

Status

closed

Resolution

fixed

Platform

OS

OS Version

Product Version

3.10+dev

Target Version

Fixed in Version

3.10+dev

Summary

0004051: ocamlc 3.10+dev: "Fatal error: exception Ctype.Unify(_, _)" (seems to be different from 0003918).

Description

I got this exception while compiling first some module with
-rectypes option and then dependent module without it (by mistake).
I've tried to minimize the case; the sources attached.

Tags

No tags attached.

unifyError.tgz [^] (250 bytes) 2006-06-21 00:46

Relationships

Notes
(0003694) garrigue (manager) 2006-06-23 03:16	The error message is indeed a problem, but note that you are not supposed to import a signature compiled with -rectypes in a modules not compiled with -rectypes, as the semantics of typing become unclear. We may solve it as suggested in PR#4000, by requiring -rectypes.

(0003697) garrigue (manager) 2006-06-26 11:42	Solved by solving PR#4000. The second module now requires -rectypes to compile.

Issue History
Date Modified	Username	Field	Change
2006-06-21 00:46	dboulytchev	New Issue
2006-06-21 00:46	dboulytchev	File Added: unifyError.tgz
2006-06-23 03:16	garrigue	Note Added: 0003694
2006-06-23 03:16	garrigue	Assigned To	=> garrigue
2006-06-23 03:16	garrigue	Status	new => acknowledged
2006-06-26 11:42	garrigue	Status	acknowledged => closed
2006-06-26 11:42	garrigue	Note Added: 0003697
2006-06-26 11:42	garrigue	Resolution	open => fixed
2006-06-26 11:42	garrigue	Fixed in Version	=> 3.10+dev

Copyright © 2000 - 2011 MantisBT Group