Version française
Home     About     Download     Resources     Contact us    
Browse thread
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: -- (:)
From: Daniel_Bünzli <daniel.buenzli@e...>
Subject: Re: [Caml-list] let int = ?([' ' '\t'] '-') digits+

Le 29 juin 07 à 20:53, Pal-Kristian Engstad a écrit :

> I think you all misunderstand his proposal. He wants:
>
> q - 1 => Add(q, -1)
> q -1 => Apply(q, -1)
> q-1 => Add(q, -1)

However we all understood it's a bad idea.

Daniel