From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 715A17F613 for ; Tue, 13 Sep 2016 19:54:57 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=vkni@yandex.ru; spf=Pass smtp.mailfrom=vkni@yandex.ru; spf=None smtp.helo=postmaster@forward3j.cmail.yandex.net Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of vkni@yandex.ru) identity=pra; client-ip=5.255.227.21; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="vkni@yandex.ru"; x-sender="vkni@yandex.ru"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of vkni@yandex.ru designates 5.255.227.21 as permitted sender) identity=mailfrom; client-ip=5.255.227.21; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="vkni@yandex.ru"; x-sender="vkni@yandex.ru"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@forward3j.cmail.yandex.net) identity=helo; client-ip=5.255.227.21; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="vkni@yandex.ru"; x-sender="postmaster@forward3j.cmail.yandex.net"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AFEmb5RSHA2wJMjw9x6lig2OjVdpsv+yvbD5Q0YIu?= =?us-ascii?q?jvd0So/mwa64ZRaN2/xhgRfzUJnB7Loc0qyN4vmmBjRLuM/d+DBaKdoXCE9D0Z?= =?us-ascii?q?1X1yUbQ+e7SmTDZMbwaCI7GMkQHHRExFqcdXZvJcDlelfJqWez5zNBUj/2NA5y?= =?us-ascii?q?O/inUtWK15f/4duv4IXeaBlkgz+0YLU6bEnn7FaZis5Dy4BrL6J0zhrSvlNJff?= =?us-ascii?q?5XzCVmPxjbyx3148P1+J947wxRvegg/ohOS/OpUb4/SOlxDN0+Pol9zsDzXBzK?= =?us-ascii?q?TUPb+HgaU00HmxxEDhiD9gysDcS5iTfzqucogHrSBsbxV71hBWWv?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0C1BgBfPNhXhxXj/wVdSAEXAQYBgwIBA?= =?us-ascii?q?QEBAXV8AYV2oHeTZySDEIJqAoFNOxEBAQEBAQEBAQEBARIBAQEIDQkJGSQLgjI?= =?us-ascii?q?EAwMVghEBAQQjDwENAQEsDA8JAhoCCR0CAkUSBhMSiB0BAxsKkzGcPWeERwEBB?= =?us-ascii?q?YNmAUoDgzEBAQEBBgEBAQEBARkIgQaJeYRVToIfglqGawyILYpGgmSDQYkrgjy?= =?us-ascii?q?NJoxYg3s0gySBW22GNYEsAQEB?= X-IPAS-Result: =?us-ascii?q?A0C1BgBfPNhXhxXj/wVdSAEXAQYBgwIBAQEBAXV8AYV2oHe?= =?us-ascii?q?TZySDEIJqAoFNOxEBAQEBAQEBAQEBARIBAQEIDQkJGSQLgjIEAwMVghEBAQQjD?= =?us-ascii?q?wENAQEsDA8JAhoCCR0CAkUSBhMSiB0BAxsKkzGcPWeERwEBBYNmAUoDgzEBAQE?= =?us-ascii?q?BBgEBAQEBARkIgQaJeYRVToIfglqGawyILYpGgmSDQYkrgjyNJoxYg3s0gySBW?= =?us-ascii?q?22GNYEsAQEB?= X-IronPort-AV: E=Sophos;i="5.30,329,1470693600"; d="scan'208";a="236328441" Received: from forward3j.cmail.yandex.net ([5.255.227.21]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 13 Sep 2016 19:54:56 +0200 Received: from mxback4m.mail.yandex.net (mxback4m.mail.yandex.net [37.140.138.64]) by forward3j.cmail.yandex.net (Yandex) with ESMTP id A50E82071D for ; Tue, 13 Sep 2016 20:54:55 +0300 (MSK) Received: from web21m.yandex.ru (web21m.yandex.ru [37.140.138.112]) by mxback4m.mail.yandex.net (nwsmtp/Yandex) with ESMTP id 37wHFYWbQb-stiK7i34; Tue, 13 Sep 2016 20:54:55 +0300 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=yandex.ru; s=mail; t=1473789295; bh=jLH0xayWy0OeSKeZWkDsAMEHCXYBVfPkolwRt/DEJYM=; h=From:To:In-Reply-To:References:Subject:Message-Id:Date; b=pawvdQY9DDdoxfEJGowxrOoPShaV7OGpoTZEhzk3tp0Tv2gb3FJQjolQz+rmqLkwy CQp1EZzmLgGw9VYWp3RYEB4ijMjCWKcheJsrFiFTESBQGYiotP00Uj2TaKyZkM+54J bLQmACGN/yWDXRVrvZeTWkC5WA1Hd53U2iKdva+s= Received: by web21m.yandex.ru with HTTP; Tue, 13 Sep 2016 20:54:55 +0300 From: =?utf-8?B?0JDQvdC00YDQtdC5INCR0LXRgNCz0LzQsNC9?= To: "caml-list@inria.fr" In-Reply-To: <337861473779549@web6h.yandex.ru> References: <337861473779549@web6h.yandex.ru> MIME-Version: 1.0 Message-Id: <2327911473789295@web21m.yandex.ru> X-Mailer: Yamail [ http://yandex.ru ] 5.0 Date: Tue, 13 Sep 2016 20:54:55 +0300 Content-Transfer-Encoding: 8bit Content-Type: text/plain; charset=utf-8 X-Validation-by: vkni@yandex.ru Subject: Re: [Caml-list] type-safe printf Thank you all very much! Your references and explanations made it clear to me. 13.09.2016, 18:19, "Андрей Бергман" : > Hello, > > is there a good article or just short explanation how compile-type checking of Printf arguments works? > > Does it require special compiler support like in C++ compilers/analyzers, or one can somehow do the trick of parsing string literal using Ocaml language itself? (actually latter does not look possible to me) > > Thanks, >     Andrey. > > -- > Caml-list mailing list. Subscription management and archives: > https://sympa.inria.fr/sympa/arc/caml-list > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs