From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <radzevich.belevich@gmail.com>
X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr
X-Spam-Level: **
X-Spam-Status: No, score=2.3 required=5.0 tests=AWL,DNS_FROM_RFC_POST,
	SPF_NEUTRAL autolearn=disabled version=3.1.3
X-Original-To: caml-list@yquem.inria.fr
Delivered-To: caml-list@yquem.inria.fr
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 6B664BBAF
	for <caml-list@yquem.inria.fr>; Thu,  9 Apr 2009 12:10:43 +0200 (CEST)
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AkgBABtm3UnRVdyuimdsb2JhbACVZz8BAQEKCQwHDwWnQoEJkAwBAwEDg3gG
X-IronPort-AV: E=Sophos;i="4.40,159,1238968800"; 
   d="scan'208";a="38173268"
Received: from mail-fx0-f174.google.com ([209.85.220.174])
  by mail4-smtp-sop.national.inria.fr with ESMTP; 09 Apr 2009 12:10:43 +0200
Received: by fxm22 with SMTP id 22so506369fxm.9
        for <caml-list@inria.fr>; Thu, 09 Apr 2009 03:10:42 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=gamma;
        h=domainkey-signature:received:received:subject:from:to:in-reply-to
         :references:content-type:date:message-id:mime-version:x-mailer
         :content-transfer-encoding;
        bh=/ZAxNLUHJIakXWqnN4o9cWeH+ACEIAhlPVs3hmigTSg=;
        b=PdR+P5kvACXT/UfEeTTt8MNR5tvoi/CClNQtCPupmczWmpWkKfdPPZ/8xr2xqCQHnN
         ibcMKzInMBj6RMp5+MhbKpfIVIHV5M8xHc3DZkyxtpWzauYNJroQHp7xFGd0enZZ+9lM
         LIWkiiv1a+BWEhvScXr2iHj9G0qFbz7/JxWDg=
DomainKey-Signature: a=rsa-sha1; c=nofws;
        d=gmail.com; s=gamma;
        h=subject:from:to:in-reply-to:references:content-type:date:message-id
         :mime-version:x-mailer:content-transfer-encoding;
        b=pHicwdkwq/Y05lKzFWVKT8/A71YMXDXDW/eYwnP6SHcWINCBA5HV5gRrTcNVeUCjhY
         s9q5pxGh6he+CAOE8HiShy+0/q5JtEeXVIlp4QPeBqnmnlxMgsEG3URB/ogNblNCMjcQ
         VDV16bfn283vrNVO5XTL5F/YviaSf5TtbLCIs=
Received: by 10.86.68.1 with SMTP id q1mr1796059fga.22.1239271841777;
        Thu, 09 Apr 2009 03:10:41 -0700 (PDT)
Received: from ?192.168.21.130? ([91.202.164.106])
        by mx.google.com with ESMTPS id 4sm500662fgg.20.2009.04.09.03.10.40
        (version=SSLv3 cipher=RC4-MD5);
        Thu, 09 Apr 2009 03:10:41 -0700 (PDT)
Subject: Re: [Caml-list] class type param constraint
From: Radzevich Belevich <radzevich.belevich@gmail.com>
To: Caml List <caml-list@inria.fr>
In-Reply-To: <1239266526.2787.5.camel@serphost.localdomain>
References: <1239266526.2787.5.camel@serphost.localdomain>
Content-Type: text/plain
Date: Thu, 09 Apr 2009 14:10:42 +0400
Message-Id: <1239271842.2787.8.camel@serphost.localdomain>
Mime-Version: 1.0
X-Mailer: Evolution 2.24.5 
Content-Transfer-Encoding: 7bit
X-Spam: no; 0.00; caml-list:01 constraint:01 poorly:08 cast:09 previous:10 question:13 should:13 should:13 type:14 type:14 but:14 include:19 why:24 com:74 param:72 

In previous message poorly worded question.
Why 'c should include "a". ":>" cast, 'c should be smaller type, but not
great