Bug report MetaOCaml

[Walid Taha]

Hi Chris,

Thank you very much for the bug report. Generally, everyone on
MetaOCaml-hackers should know about such bugs.

Such reports are very valuable to us, and we'll let you know as soon as
we've dealt with this problem.

Walid.

On Mon, 4 Jul 2005, Ch. A. Herrmann wrote:

|Hi Walid,
|
|I don't know who is the right person for bug reports like this, so I ask
|you to forward this mail appropriately.
|
|The new MetaOCaml release (MetaOCaml_308_alpha_023) has a bug with
|complicated use of boolean values. I attached two script files which
|differ only
|in the fact that the second uses int (and works) instead of bool (which
|fails).
|
|Our installation shows the following behavior on the bool version:
|---------------------------------------------------------------------------------------------
|interactive:
|Metaocaml internal error in type checking. Message:
| Mismatch in type_construct
|
|Exception: Assert_failure ("typing/typecore.ml", 3431, 106).
|---------------------------------------------------------------------------------------------
|bytecode:
|Characters -1--1:
|Metaocaml internal error in type checking. Message:
| Mismatch in type_construct
|Fatal error: exception Assert_failure("typing/typecore.ml", 3431, 106)
|---------------------------------------------------------------------------------------------
|native code:
|Fatal error: exception Typecore.Error(_, _)
|---------------------------------------------------------------------------------------------
|Best wishes
|--
| Christoph
|
|
|!DSPAM:42c94bdc23894898818580!
|

[Cristiano Calcagno]

Dear Chris,
thank you for the bug report.
We have now fixed it in out internal revision. The fix will be
incorporated in the next MetaOCaml release.

Cristiano.

Post by Walid Taha
Hi Chris,
Thank you very much for the bug report. Generally, everyone on
MetaOCaml-hackers should know about such bugs.
Such reports are very valuable to us, and we'll let you know as soon as
we've dealt with this problem.
Walid.
|Hi Walid,
|
|I don't know who is the right person for bug reports like this, so I ask
|you to forward this mail appropriately.
|
|The new MetaOCaml release (MetaOCaml_308_alpha_023) has a bug with
|complicated use of boolean values. I attached two script files which
|differ only
|in the fact that the second uses int (and works) instead of bool (which
|fails).
|
|---------------------------------------------------------------------------------------------
| Mismatch in type_construct
|
|Exception: Assert_failure ("typing/typecore.ml", 3431, 106).
|---------------------------------------------------------------------------------------------
| Mismatch in type_construct
|Fatal error: exception Assert_failure("typing/typecore.ml", 3431, 106)
|---------------------------------------------------------------------------------------------
|Fatal error: exception Typecore.Error(_, _)
|---------------------------------------------------------------------------------------------
|Best wishes
|--
| Christoph
|
|
|!DSPAM:42c94bdc23894898818580!
|
_______________________________________________
MetaOCaml-Hackers-L mailing list
https://mailman.rice.edu/mailman/listinfo/metaocaml-hackers-l

[Walid Taha]

Chris and Tobias,

It will take some time to finish testing and making a new release. In the
meantime, you guys can try this one change, and let us know if it doesn't
fix your problem.

*** bytecomp/trx.ml 29 Jun 2005 08:57:03 -0000 1.96
--- bytecomp/trx.ml 4 Jul 2005 16:10:11 -0000 1.97
***************
*** 2795,2801 ****
if (Obj.tag v) = Obj.double_tag && quote_csp_doubles
then rdesc := Pexp_constant (Const_float (string_of_float
(Obj.magic v)))
end in
! let ext = match eo with
None -> None
| Some exp ->
match exp.exp_desc with
--- 2795,2801 ----
if (Obj.tag v) = Obj.double_tag && quote_csp_doubles
then rdesc := Pexp_constant (Const_float (string_of_float
(Obj.magic v)))
end in
! let ext = if Obj.is_int v then None else match eo with
None -> None
| Some exp ->
match exp.exp_desc with

Walid.

On Mon, 4 Jul 2005, Cristiano Calcagno wrote:

|Dear Chris,
| thank you for the bug report.
|We have now fixed it in out internal revision. The fix will be
|incorporated in the next MetaOCaml release.
|
|Cristiano.
|
|Walid Taha wrote:
|
|>Hi Chris,
|>
|>Thank you very much for the bug report. Generally, everyone on
|>MetaOCaml-hackers should know about such bugs.
|>
|>Such reports are very valuable to us, and we'll let you know as soon as
|>we've dealt with this problem.
|>
|>Walid.
|>
|>On Mon, 4 Jul 2005, Ch. A. Herrmann wrote:
|>
|>|Hi Walid,
|>|
|>|I don't know who is the right person for bug reports like this, so I ask
|>|you to forward this mail appropriately.
|>|
|>|The new MetaOCaml release (MetaOCaml_308_alpha_023) has a bug with
|>|complicated use of boolean values. I attached two script files which
|>|differ only
|>|in the fact that the second uses int (and works) instead of bool (which
|>|fails).
|>|
|>|Our installation shows the following behavior on the bool version:
|>|---------------------------------------------------------------------------------------------
|>|interactive:
|>|Metaocaml internal error in type checking. Message:
|>| Mismatch in type_construct
|>|
|>|Exception: Assert_failure ("typing/typecore.ml", 3431, 106).
|>|---------------------------------------------------------------------------------------------
|>|bytecode:
|>|Characters -1--1:
|>|Metaocaml internal error in type checking. Message:
|>| Mismatch in type_construct
|>|Fatal error: exception Assert_failure("typing/typecore.ml", 3431, 106)
|>|---------------------------------------------------------------------------------------------
|>|native code:
|>|Fatal error: exception Typecore.Error(_, _)
|>|---------------------------------------------------------------------------------------------
|>|Best wishes
|>|--
|>| Christoph
|>|
|>|
|>|
|>|
|>_______________________________________________
|>MetaOCaml-Hackers-L mailing list
|>MetaOCaml-Hackers-***@mailman.rice.edu
|>https://mailman.rice.edu/mailman/listinfo/metaocaml-hackers-l
|>
|>
|
|_______________________________________________
|MetaOCaml-Hackers-L mailing list
|MetaOCaml-Hackers-***@mailman.rice.edu
|https://mailman.rice.edu/mailman/listinfo/metaocaml-hackers-l
|
|!DSPAM:42c9611c28561156994841!
|

[Ch. A. Herrmann]

Hi Walid,

your patch fixed the problem with the bool values.

Thank you very much.
--
Christoph

Post by Walid Taha
Chris and Tobias,
It will take some time to finish testing and making a new release. In the
meantime, you guys can try this one change, and let us know if it doesn't
fix your problem.
*** bytecomp/trx.ml 29 Jun 2005 08:57:03 -0000 1.96
--- bytecomp/trx.ml 4 Jul 2005 16:10:11 -0000 1.97
***************
*** 2795,2801 ****
if (Obj.tag v) = Obj.double_tag && quote_csp_doubles
then rdesc := Pexp_constant (Const_float (string_of_float
(Obj.magic v)))
end in
! let ext = match eo with
None -> None
| Some exp ->
match exp.exp_desc with
--- 2795,2801 ----
if (Obj.tag v) = Obj.double_tag && quote_csp_doubles
then rdesc := Pexp_constant (Const_float (string_of_float
(Obj.magic v)))
end in
! let ext = if Obj.is_int v then None else match eo with
None -> None
| Some exp ->
match exp.exp_desc with
Walid.
|Dear Chris,
| thank you for the bug report.
|We have now fixed it in out internal revision. The fix will be
|incorporated in the next MetaOCaml release.
|
|Cristiano.
|
|
|>Hi Chris,
|>
|>Thank you very much for the bug report. Generally, everyone on
|>MetaOCaml-hackers should know about such bugs.
|>
|>Such reports are very valuable to us, and we'll let you know as soon as
|>we've dealt with this problem.
|>
|>Walid.
|>
|>
|>|Hi Walid,
|>|
|>|I don't know who is the right person for bug reports like this, so I ask
|>|you to forward this mail appropriately.
|>|
|>|The new MetaOCaml release (MetaOCaml_308_alpha_023) has a bug with
|>|complicated use of boolean values. I attached two script files which
|>|differ only
|>|in the fact that the second uses int (and works) instead of bool (which
|>|fails).
|>|
|>|---------------------------------------------------------------------------------------------
|>| Mismatch in type_construct
|>|
|>|Exception: Assert_failure ("typing/typecore.ml", 3431, 106).
|>|---------------------------------------------------------------------------------------------
|>| Mismatch in type_construct
|>|Fatal error: exception Assert_failure("typing/typecore.ml", 3431, 106)
|>|---------------------------------------------------------------------------------------------
|>|Fatal error: exception Typecore.Error(_, _)
|>|---------------------------------------------------------------------------------------------
|>|Best wishes
|>|--
|>| Christoph
|>|
|>|
|>|
|>|
|>_______________________________________________
|>MetaOCaml-Hackers-L mailing list
|>https://mailman.rice.edu/mailman/listinfo/metaocaml-hackers-l
|>
|>
|
|_______________________________________________
|MetaOCaml-Hackers-L mailing list
|https://mailman.rice.edu/mailman/listinfo/metaocaml-hackers-l
|
|!DSPAM:42c9611c28561156994841!
|