[
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: | 2005-11-11 (19:33) |
From: | Lukasz Stafiniak <lukstafi@g...> |
Subject: | Typing of the sequence operator (;) |
Dear list, Why does the sequence operator (;) have type 'a -> 'b -> 'b and not unit -> 'a -> 'a? There is (ignore) for doing "these things" purposefully. The toplevel warning is very often mute. Together with labels, this is a source of bugs. Best Regards, Lukasz