From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: weis
Received: (from weis@localhost) by pauillac.inria.fr (8.6.10/8.6.6) id QAA00637 for caml-redistribution; Thu, 1 Feb 1996 16:17:09 +0100
Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.6.10/8.6.6) with ESMTP id PAA28194 for <caml-list@pauillac.inria.fr>; Thu, 1 Feb 1996 15:03:53 +0100
Received: from margaux.inria.fr (margaux.inria.fr [128.93.8.2]) by concorde.inria.fr (8.7.1/8.7.1) with ESMTP id PAA19030 for <caml-list@pauillac.inria.fr>; Thu, 1 Feb 1996 15:03:54 +0100 (MET)
Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by margaux.inria.fr (8.6.10/8.6.6) with ESMTP id PAA24002 for <caml-list@margaux.inria.fr>; Thu, 1 Feb 1996 15:03:52 +0100
Received: from medee.inria.fr (medee.inria.fr [138.96.48.39]) by concorde.inria.fr (8.7.1/8.7.1) with ESMTP id PAA19026 for <caml-list@margaux.inria.fr>; Thu, 1 Feb 1996 15:03:53 +0100 (MET)
Received: by medee.inria.fr (8.6.12/8.6.12) id PAA04962; Thu, 1 Feb 1996 15:03:49 +0100
Message-Id: <199602011403.PAA04962@medee.inria.fr>
To: Hubert Canon <canon@poly.polytechnique.fr>
cc: caml-list@margaux.inria.fr
Subject: Re: Fonction polymorphe 
In-reply-to: Your message of "Wed, 24 Jan 1996 19:47:22 +0100."
             <199601241847.TAA02621@poly.polytechnique.fr> 
Date: Thu, 01 Feb 1996 15:03:48 +0100
From: Eric Hassold <Eric.Hassold@sophia.inria.fr>
Sender: weis



> Un bug probable de caml-light

Sauf erreur de ma part, ce n'est pas un bug, mais une fonctionnalite
introduite dans CL 0.7, qui permet l'affectation dynamique d'un type lors
de la 1ere evaluation ( pour les types representes par '_a  au lieu de 'a).

Pour conserver le typage polymorphe, il suffit d'ecrire explicitement
les parametres de la fonction, c-a-d :

let permutations l =
  let rec permut fixe = fun
    [] [] -> [fixe] |
    debut [] -> [] |
    debut (x :: suite) -> (permut (fixe @ [x]) []
                                  (debut @ suite)) @
                          (permut fixe (debut @ [x]) suite)
  in
  permut [] [] l;;

- : permutations : '_a list -> '_a list list = <fun>

et tout marche.