"ocaml_beginners"::[] string argument of failwith has a limited length.

Hello

It seems that the string argument of failwith has a limited length.
Where is this documented ?

Thanks
Francois Colonna

Messages in this topic (1) Reply (via web post) | Start a new topic

.

HELLO,

LE VEN 09 FéV 2007 16:32:14 CET,
FRANCOIS COLONNA < COLONNA%40CCR.JUSSIEU.FR">COLONNACCR.JUSSIEU.FR> A éCRIT :

>; HELLO
&GT;
> IT SEEMS THAT THE STRING ARGUMENT OF FAILWITH HAS A LIMITED LENGTH.
> WHERE IS THIS DOCUMENTED ?

ALL OCAML STRINGS HAVE A LIMITED LENGTH (NAMELY SYS.MAX_STRING_SIZE AS
ITS NAME SUGGESTS), BUT YOU CAN PASS SUCH A STRING TO FAILWITH:

OBJECTIVE CAML VERSION 3.09.3

# LET S = STRING.MAKE SYS.MAX_STRING_LENGTH 'A';;
VAL S : STRING = <HUGE STRING>
# FAILWITH S;;
EXCEPTION: FAILURE <HUGE STRING>.

--
E TUTTO PER OGGI, A LA PROSSIMA VOLTA.
VIRGILE

MESSAGES IN THIS TOPIC (2) REPLY (VIA WEB POST) | START A NEW TOPIC

.