Browse thread
let int = ?([' ' '\t'] '-') digits+
[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ 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