From mboxrd@z Thu Jan 1 00:00:00 1970 Received: by pauillac.inria.fr; Tue, 1 Mar 94 18:35:10 +0100 Received: from margaux.inria.fr by pauillac.inria.fr; Tue, 1 Mar 94 16:37:02 +0100 Received: from concorde.inria.fr by margaux.inria.fr, Tue, 1 Mar 94 16:36:57 +0100 Received: from idfs3.id.dth.dk (idfs3.id.dth.dk [130.225.76.53]) by concorde.inria.fr (8.6.5/8.6.5) with ESMTP id QAA21622 for ; Tue, 1 Mar 1994 16:36:49 +0100 Received: from localhost (localhost [127.0.0.1]) by idfs3.id.dth.dk (8.6.4/8.6.4) with SMTP id QAA06835 for caml-list@margaux.inria.fr; Tue, 1 Mar 1994 16:35:28 +0100 From: Martin Elsman Message-Id: <199403011535.QAA06835@idfs3.id.dth.dk> X-Authentication-Warning: idfs3.id.dth.dk: Host localhost didn't use HELO protocol To: caml-list@margaux.inria.fr Subject: Documentation for the type-checker for Caml Light Date: Tue, 01 Mar 94 16:35:27 +0100 X-Mts: smtp Sender: weis@pauillac.inria.fr Hello Caml-list listener's Does anybody know if there exist any documentation of the type- checker of Caml Light. 'The ZINC Experiment: An Economical Implementation of The ML-Language' by Xavier Leroy, 1990 does not include type-checking :-(. I'm trying to attach equality type variables to Caml Light together with imperative type variables and overloaded builtin operators. The code of Caml Light is not 'just' the Hindley/Milner/Robinson kind of thing, though there are similarities. What are dangerous type variables and why does the type checker include two unification algorithms? Best regards Martin Elsman ----------------------------------------------------------------------- Martin Elsman The Technical University of Denmark E-Mail: mael@id.dth.dk Department of Computer Science -----------------------------------------------------------------------