The Coq mailing list

[Hugo Herbelin <Hugo.Herbelin AT inria.fr>]

Hi,

> "Anomaly" when doing Load self.v
> 
> a file named "self.v" having:
> Load self.
> results in:
> 
> Anomaly: uncaught exception Sys_error "/tmp/self.v: Too many open files".
> Please report.

This should certainly not be printed as an anomaly but really as an
operating system error. It is the expression of a "stack overflow"
when recursively calling Load and allocating new descriptors for that
purpose.

Hugo Herbelin