This site is updated infrequently. For up-to-date information, please visit the new OCaml website at ocaml.org.

let int = ?([' ' '\t'] '-') digits+
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
 Date: 2007-06-29 (19:00) From: Pal-Kristian Engstad Subject: Re: [Caml-list] let int = ?([' ' '\t'] '-') digits+
```I think you all misunderstand his proposal. He wants:

q - 1 => Add(q, -1)
q -1 => Apply(q, -1)

In other words, a space followed by a negative, followed by a number is
to be parsed as a number.

PKE.

skaller wrote:
> On Fri, 2007-06-29 at 16:39 +0100, Jon Harrop wrote:
>
>> If OCaml's lexer handled numbers of this format, would it be possible to
>> write:
>>
>>   f -1 -2
>>
>> to mean:
>>
>>   f (-1) (-2)
>>
>> rather than:
>>
>>   f - 1 - 2
>>
>> Is this a good idea?
>>
>
> No, I don't think so, because
>
> 	-1
>
> and
>
> 	- 1
>
> would then be distinct, and there's be confusion with:
>
> 	x-1
>
> which would actually mean
>
> 	x (-1)
>
> rather than
>
> 	x - 1
>
> That would break reams of code .. ;(
>
>

--