From mboxrd@z Thu Jan  1 00:00:00 1970
Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id BAA29226; Wed, 22 May 2002 01:20:15 +0200 (MET DST)
Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id BAA29223 for <caml-list@pauillac.inria.fr>; Wed, 22 May 2002 01:20:14 +0200 (MET DST)
Received: from hermes.sc.intel.com (fmr03.intel.com [143.183.121.5])
	by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id g4LNKDX02049
	for <caml-list@pauillac.inria.fr>; Wed, 22 May 2002 01:20:14 +0200 (MET DST)
Received: from talaria.sc.intel.com (talaria.sc.intel.com [10.3.253.5])
	by hermes.sc.intel.com (8.11.6/8.11.6/d: outer.mc,v 1.46 2002/05/09 18:12:26 root Exp $) with ESMTP id g4LFIAU02412;
	Tue, 21 May 2002 08:18:10 -0700 (PDT)
Received: from mipos2.intel.com (mipos2-seg48.sc.intel.com [143.183.48.42])
	by talaria.sc.intel.com (8.11.6/8.11.6/d: inner.mc,v 1.20 2002/05/13 20:36:03 root Exp $) with ESMTP id g4LNJN612316;
	Tue, 21 May 2002 23:19:23 GMT
Received: from zws707.sc.intel.com (zws707.sc.intel.com [143.183.38.79])
	by mipos2.intel.com (8.11.6/8.11.6/MailSET/hub) with ESMTP id g4LNKCA26682;
	Tue, 21 May 2002 16:20:12 -0700 (PDT)
Received: (from ctchou@localhost)
	by zws707.sc.intel.com (8.11.6/8.11.6/MailSET/client) id g4LNKBQ27191;
	Tue, 21 May 2002 16:20:11 -0700 (PDT)
Date: Tue, 21 May 2002 16:20:11 -0700 (PDT)
Message-Id: <200205212320.g4LNKBQ27191@zws707.sc.intel.com>
X-Authentication-Warning: zws707.sc.intel.com: ctchou set sender to ctchou@mipos2.intel.com using -f
From: Ching-Tsun Chou <ctchou@mipos2.intel.com>
To: pixel@mandrakesoft.com
CC: caml-list@pauillac.inria.fr
In-reply-to: <lyy9ed6r34.fsf@leia.mandrakesoft.com> (message from Pixel on 22
	May 2002 01:03:59 +0200)
Subject: Re: [Caml-list] Weird typing problem
References: <200205212213.g4LMDjQ26439@zws707.sc.intel.com> <lyy9ed6r34.fsf@leia.mandrakesoft.com>
Sender: owner-caml-list@pauillac.inria.fr
Precedence: bulk


Thanks!  But I still fail to see why the compiler and the interpreter
should behave differently.

- Ching Tsun

   X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f
   Cc: caml-list@pauillac.inria.fr
   From: Pixel <pixel@mandrakesoft.com>
   Date: 22 May 2002 01:03:59 +0200
   User-Agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.2
   Content-Type: text/plain; charset=us-ascii
   Sender: owner-caml-list@pauillac.inria.fr
   Precedence: bulk

   Ching-Tsun Chou <ctchou@mipos2.intel.com> writes:

   [...]

   > let list_last = List.hd << List.rev

   [...]

   > val list_last : '_a list -> '_a = <fun>

   make it:


   let list_last l = (List.hd << List.rev) l

   val list_last : 'a list -> 'a


   that's monomorphism restriction:
   http://caml.inria.fr/FAQ/FAQ_EXPERT-eng.html#variables_de_types_faibles
   -------------------
   To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
   Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
   Beginner's list: http://groups.yahoo.com/group/ocaml_beginners

-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners