From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id IAA25619 for caml-redistribution; Tue, 16 Feb 1999 08:13:39 +0100 (MET) Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id TAA08265 for ; Mon, 15 Feb 1999 19:04:54 +0100 (MET) Received: from heplix4.ikp.physik.tu-darmstadt.de (heplix4.ikp.physik.tu-darmstadt.de [130.83.24.139]) by nez-perce.inria.fr (8.8.7/8.8.7) with ESMTP id TAA10221 for ; Mon, 15 Feb 1999 19:04:53 +0100 (MET) Received: (from ohl@localhost) by heplix4.ikp.physik.tu-darmstadt.de (8.8.8/8.8.8) id TAA10737; Mon, 15 Feb 1999 19:04:51 +0100 From: Thorsten Ohl Message-ID: <14024.25027.421367.684137@heplix4.ikp.physik.tu-darmstadt.de> Date: Mon, 15 Feb 1999 19:04:51 +0100 (CET) To: caml-list@inria.fr Subject: Re: Non generalizable type of constants? In-Reply-To: <199902151745.SAA19162@pauillac.inria.fr> References: <199902151659.RAA10464@heplix4.ikp.physik.tu-darmstadt.de> <199902151745.SAA19162@pauillac.inria.fr> X-Mailer: VM 6.61 under Emacs 19.34.1 Reply-To: ohl@hep.tu-darmstadt.de Sender: weis Pierre Weis writes: > If you insist at abstracting the type Groupe.t, I do, because this way I can hide details of different groups from free constructions over them ... > I'm not aware of any solution to your problem, except turning your > unit_bad identifier into a function let unit_bad () = A.atom (M.unit). Syntactically, It's not pretty, but I can live with it. I shied away from this because I was not sure about the result of module F = FreeRing ( some ring ...) compare (F.unit_bad ()) (F.unit_bad ()) in this case. Does O'Caml guarantee that the expression will always evaluate to 0? [ Currently it appears to, but can I depend on it? ] > More generally, what you call constants are computed values, even if > the computation is simple in your case, hence we have the general > problem of references. I had this confused, thanks for pointing it out! -Thorsten -- Thorsten Ohl, Physics Department, TU Darmstadt -- ohl@hep.tu-darmstadt.de http://heplix.ikp.physik.tu-darmstadt.de/~ohl/ [<=== PGP public key here]