Re: Objective Label 2.04

From: Juergen Pfitzenmaier (pfitzen@informatik.uni-tuebingen.de)
Date: Tue Nov 30 1999 - 16:42:56 MET

Next message: Jean-Christophe Filliatre: "Re: ocamldot for ocaml-2.04"
Previous message: Jacques Garrigue: "Objective Label 2.04"
Maybe in reply to: Jacques Garrigue: "Objective Label 2.04"
Next in thread: Jacques Garrigue: "Re: Objective Label 2.04"
Reply: Jacques Garrigue: "Re: Objective Label 2.04"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Date: Tue, 30 Nov 1999 16:42:56 +0100 (MET)
From: Juergen Pfitzenmaier <pfitzen@informatik.uni-tuebingen.de>
Message-Id: <199911301542.QAA19049@sunray.informatik.uni-tuebingen.de>
To: caml-list@inria.fr
Subject: Re: Objective Label 2.04

Jacques Garrigue wrote:
> * are using polymorphic methods. For technical reasons, this
> feature will probably not be included soon in OCaml.

Why ? Polymorphic methods are the best part of OLabl. It should'nt
be too hard to move code from OLabl to the OCaml distribution ?

pfitzen

Next message: Jean-Christophe Filliatre: "Re: ocamldot for ocaml-2.04"
Previous message: Jacques Garrigue: "Objective Label 2.04"
Maybe in reply to: Jacques Garrigue: "Objective Label 2.04"
Next in thread: Jacques Garrigue: "Re: Objective Label 2.04"
Reply: Jacques Garrigue: "Re: Objective Label 2.04"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

This archive was generated by hypermail 2b29 : Sun Jan 02 2000 - 11:58:29 MET