From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by yquem.inria.fr (Postfix) with ESMTP id 2551BBC37 for ; Sat, 2 Jan 2010 00:05:51 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AnUCAOcOPktKfU4bkGdsb2JhbACRRYlIPwEBAQEJCQwHEwOqGYEyhCiGXAECAwWELAQ X-IronPort-AV: E=Sophos;i="4.47,486,1257116400"; d="scan'208";a="53087396" Received: from ey-out-2122.google.com ([74.125.78.27]) by mail4-smtp-sop.national.inria.fr with ESMTP; 02 Jan 2010 00:05:50 +0100 Received: by ey-out-2122.google.com with SMTP id 22so2292791eye.31 for ; Fri, 01 Jan 2010 15:05:50 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:mime-version:received:date:message-id:subject :from:to:content-type; bh=k0O2KvAfM/TVZy88tupJEcq/Jh4wqDHZwdS5EcxBKgY=; b=dENKjlzaJDChlpBgvcFjQp89QaPTHfmVnxtIQMVA0PhSwwZ8+dyc1NU7aNQCDgBdVX C6zmNARnWJzZhluraxq+Veyy7noVftA5j/kouxREzra4lkaP12PVAmC3JAPqquqp0bIs pLkkfzIs+hIjWofyZKKgJ7VRt7w/u/0gyVjuI= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:date:message-id:subject:from:to:content-type; b=QK7o2GYILhVyO0NF3JJAS+BQw1QSpObQ14Jp0PZpm0Ie8PKBjy52N+fqK9oDS2+Cs3 S/YHxlVsT/Zhu0ycNYFt4LVAx+/Prgs+dISTl6Vhqma+jaVDFgo5hRCRyfyh91sABLHd lupF3euj9hUe3oFqKWA/c90yp1SzV+AANIFBg= MIME-Version: 1.0 Received: by 10.216.89.5 with SMTP id b5mr3842740wef.143.1262387150012; Fri, 01 Jan 2010 15:05:50 -0800 (PST) Date: Fri, 1 Jan 2010 18:05:49 -0500 Message-ID: Subject: value restriction From: Jacques Le Normand To: caml-list caml-list Content-Type: multipart/alternative; boundary=0016e6d7eea0a54830047c22699e X-Spam: no; 0.00; cheers:01 cheers:01 caml-list:01 caml-list:01 jacques:03 let:03 let:03 textbook:04 textbook:04 restriction:05 restriction:05 definition:07 definition:07 seem:08 seem:08 --0016e6d7eea0a54830047c22699e Content-Type: text/plain; charset=ISO-8859-1 Hello caml-list, with respect to the value restriction, what exactly constitutes a value? the textbook definition doesn't seem to hold, since the following generalizes: let f = let x = 1 in fun g h x -> g (h x);; while this won't: let f () = let x = (fun x -> x) (fun x -> x) in fun g h x -> g (h x);; cheers --Jacques L. --0016e6d7eea0a54830047c22699e Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable Hello caml-list,
with respect to the value restriction, what exactly co= nstitutes a value?
the textbook definition doesn't seem to ho= ld, since the following generalizes:

let f =3D let= x =3D 1 in fun g h x -> g (h x);;

while this won't:

let f ()= =3D let x =3D (fun x -> x) (fun x -> x) in fun g h x -> g (h x);;=

cheers

--Jacques L. --0016e6d7eea0a54830047c22699e--