[Caml-list] virtual instance variables

[Jeremy Yallop]

Should this be considered a bug?

# (object val virtual c : float method m = c end) # m;;
Segmentation fault

_______________________________________________
Caml-list mailing list. Subscription management:
http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
Archives: http://caml.inria.fr
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs

[Jon Harrop]

On Thursday 28 June 2007 14:34:20 Jeremy Yallop wrote:
> Should this be considered a bug?
>
> # (object val virtual c : float method m = c end) # m;;
> Segmentation fault

Yes:

$ ocaml
Objective Caml version 3.09.1

# (object val virtual c : float method m = c end) # m;;

Syntax error

$ ocaml
Objective Caml version 3.10.0

# (object val virtual c : float method m = c end) # m;;

Signal -10

and what is signal -10?! :-)

--
Dr Jon D Harrop, Flying Frog Consultancy Ltd.
The OCaml Journal
http://www.ffconsultancy.com/products/ocaml_journal/?e

[Vincent Hanquez]

On Thu, Jun 28, 2007 at 02:47:59PM +0100, Jon Harrop wrote:
> $ ocaml
> Objective Caml version 3.10.0
>
> # (object val virtual c : float method m = c end) # m;;
> Signal -10
>
> and what is signal -10?! :-)

$ ocaml
Objective Caml version 3.10.0

# Sys.sigsegv;;
- : int = -10
#

--
Vincent Hanquez

[Jacques Garrigue]

From: Jeremy Yallop <jeremy...@ed.ac.uk>

> Should this be considered a bug?
>
> # (object val virtual c : float method m = c end) # m;;
> Segmentation fault

Any segmentation fault using no unsafe features is clearly a bug, and
should go in the bug database.
Should be fixed soon.

Jacques Garrigue