[
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: | Jacques GARRIGUE <garrigue@k...> |
| Subject: | Objective Label 1.01 |
Objective Label has been updated to version 1.01. There are only few modifications in the label part, the main goal being the integration of the new O'Caml release. * it is now possible to use optionals in class definitions and methods, and this in a secure way * type checking is stricter and more intelligent As always, see http://wwwfun.kurims.kyoto-u.ac.jp/soft/olabl/ --------------------------------------------------------------------------- Jacques Garrigue Kyoto University garrigue@kurims.kyoto-u.ac.jp <A HREF=http://wwwfun.kurims.kyoto-u.ac.jp/~garrigue/>JG</A>