From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by c5ff346549e7 (Postfix) with ESMTPS id 4364C5D5 for ; Wed, 22 May 2019 01:17:53 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.60,497,1549926000"; d="scan'208";a="384170379" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 22 May 2019 03:17:52 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 2D8CD82674; Wed, 22 May 2019 03:17:52 +0200 (CEST) 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 D824A8247D for ; Wed, 22 May 2019 03:16:48 +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@forward106o.mail.yandex.net IronPort-PHdr: =?us-ascii?q?9a23=3AH6kldxDEiQSdV6DI6JsJUyQJP3N1i/DPJgcQr6Af?= =?us-ascii?q?oPdwSPv+r8bcNUDSrc9gkEXOFd2Cra4d0qyP6vmrBTZIyK3CmUhKSIZLWR4BhJ?= =?us-ascii?q?detC0bK+nBN3fGKuX3ZTcxBsVIWQwt1Xi6NU9IBJS2PAWK8TW94jEIBxrwKxd+?= =?us-ascii?q?KPjrFY7OlcS30P2594HObwlSizexfK5+IA+roQnMq8UajoRvJrgswRbVv3VEfP?= =?us-ascii?q?hby3l1LlyJhRb84cmw/J9n8ytOvv8q6tBNX6bncakmVLJUFDspPXw7683trhnD?= =?us-ascii?q?UBCA5mAAXWUMkxpHGBbK4RfnVZrsqCT6t+592C6HPc3qSL0/RDqv47t3RBLulS?= =?us-ascii?q?wKMSMy/mPKhcxqlK9VoAyvqQFwzIDTbo+bN/Vwcb/GcNMGR2dNQtpdWjZdDo6+?= =?us-ascii?q?aYYEEuoPPfxfr4n4v1YDsRu+BBG0BOzx0j5Dm2L70rMi0+Q7FAHJxgwgFM8JvX?= =?us-ascii?q?TKr9X1MqYSXPu1zabSyzXMcu1Z2Djn5IjSbxAsuPeBVq9zf8rJ0UQiGQHIgk+N?= =?us-ascii?q?pYHqIz+ZzPkBvmyH4+Z6SO6iiGwqpxlvrje12ssglIzEi4MOxV3H8Ch13IM4Kc?= =?us-ascii?q?C3RUN5f9KpFYVcuiOVOodrR84uX2RltSUhxbAEvJO3YSkHxZohyhXCcfKIaZKI?= =?us-ascii?q?7QjmVOuJITd3mnZleLWniha89kig0OP9WdOu0FlXsyZJjtjBtncX2xzW8MeHS/?= =?us-ascii?q?998l2h2DmV0QDc9/9LIE8umardNZEh3qY8lpsVsUvdAi/7gEv7ga2Mekk59eWk?= =?us-ascii?q?9/7rbqjiq5OALYN4lwLzP6Y2lsy6G+s4MwwOX2aB+eS70b3u5VP5QLZMjv03ia?= =?us-ascii?q?TYsIrVJcIGqaGnDA5ZyJwj6wunAze8zNsYhWUHLE5CeB+fk4fmIVTOIPThAfe7?= =?us-ascii?q?glSsiytryuvdPrzhB5XNNmLMnK3gfbZ78U5cyRA8wcpR55JOWfk9J6f4U0r18d?= =?us-ascii?q?jZFQMRMgquwu+hBs8u+JkZXDemAkaBPUqam1KQ/OcmI6HYeowTuR7sIv4p6u6o?= =?us-ascii?q?l2JvygxVRrWgwZZCMCPwJf9hOUjMOSOw0OdEKn8Du08FdMKvkEeLCGcBdn+0U6?= =?us-ascii?q?8soCsmWtr/XNXzA7u1ibnE5x+VW5hfZ2RIEFeJSC66ZoyCV/ocLjiPcJY4z240?= =?us-ascii?q?EIO5Qopk7imA8Q/3z709f7ja/TcHvIjvjYAr4KvWnBA2sy19CciQwyeLQn0mxm?= =?us-ascii?q?4=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0C5MwAIouRch7u+jCVlHAEBAR8EAQEFA?= =?us-ascii?q?QGBQgcBAQMBgScUUIFwKIZkkDmLPCJqhG6LJwkBAwEMLQIBAYZoGwcBBDUFDQE?= =?us-ascii?q?DAQEEAQECAQEDARMBAQEIDQkIKSMMgjoigzUBATEHT4QjgWoBAx4DpVKCIIJ5A?= =?us-ascii?q?QEFhDoBSgOBHYEHCYEyAgEBAQEBAQGEYIIUhFYXgX+BV4IfAYV7hRWLQYgJO4Z?= =?us-ascii?q?tjTUJgg8DgjKDI41DHoFwAZQdokaBZ4F3fwaDJ4IpiWyEPz0ygQMmE41sAQE?= X-IPAS-Result: =?us-ascii?q?A0C5MwAIouRch7u+jCVlHAEBAR8EAQEFAQGBQgcBAQMBgSc?= =?us-ascii?q?UUIFwKIZkkDmLPCJqhG6LJwkBAwEMLQIBAYZoGwcBBDUFDQEDAQEEAQECAQEDA?= =?us-ascii?q?RMBAQEIDQkIKSMMgjoigzUBATEHT4QjgWoBAx4DpVKCIIJ5AQEFhDoBSgOBHYE?= =?us-ascii?q?HCYEyAgEBAQEBAQGEYIIUhFYXgX+BV4IfAYV7hRWLQYgJO4ZtjTUJgg8DgjKDI?= =?us-ascii?q?41DHoFwAZQdokaBZ4F3fwaDJ4IpiWyEPz0ygQMmE41sAQE?= X-IronPort-AV: E=Sophos;i="5.60,497,1549926000"; d="scan'208";a="384170327" X-MGA-submission: =?us-ascii?q?MDEcZfXxlT2XkiqHIudO9w4u3gJkwCmab2pj+r?= =?us-ascii?q?dH6yGC70Ygvocq6u5jzolWduKECDAD+ArcwscMOq4cQ78E9OjqFQodd7?= =?us-ascii?q?rW7hOFGxSwiifOGEBSEXyo9649qvloXQvkgXd3IlVvzJeCJBiLNIPRJ7?= =?us-ascii?q?bL6kBgD3bNwfkPzWaH3SGPkg=3D=3D?= Received: from forward106o.mail.yandex.net ([37.140.190.187]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 22 May 2019 03:16:48 +0200 Received: from mxback2g.mail.yandex.net (mxback2g.mail.yandex.net [IPv6:2a02:6b8:0:1472:2741:0:8b7:163]) by forward106o.mail.yandex.net (Yandex) with ESMTP id B5BEE5060F0F for ; Wed, 22 May 2019 04:16:46 +0300 (MSK) Received: from localhost (localhost [::1]) by mxback2g.mail.yandex.net (nwsmtp/Yandex) with ESMTP id aLxSd3xGfY-GkvGW55I; Wed, 22 May 2019 04:16:46 +0300 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=yandex.ru; s=mail; t=1558487806; bh=qF8WRkaPSpvtWnGUBbrRKE75ZjRCmMhwJucpBisBwzM=; h=Message-Id:Date:Subject:To:From; b=X10NdrEAxKNPAd2Jg+iJIsNeRTWDtJi38nIv1x8KBjUvvkNs2a6mBHBRrxTpd//2T 8eWzZUZHBKhxdzuSLMt7xZvVGAxbOFBFuejrMvLP9WsWj9gcJPuM+WF0nCHmr7YwIk 4Jd+LDC8V837PvIlNcfqL75OYbGa0Ue6ZvUPogdI= Received: by myt5-cf6d29327892.qloud-c.yandex.net with HTTP; Wed, 22 May 2019 04:16:46 +0300 From: =?utf-8?B?0JDQvdC00YDQtdC5INCR0LXRgNCz0LzQsNC9?= To: caml-list@inria.fr MIME-Version: 1.0 X-Mailer: Yamail [ http://yandex.ru ] 5.0 Date: Wed, 22 May 2019 04:16:46 +0300 Message-Id: <10553741558487806@myt5-cf6d29327892.qloud-c.yandex.net> Content-Transfer-Encoding: 7bit Content-Type: text/plain X-Validation-by: vkni@yandex.ru Subject: [Caml-list] Encodings for ocaml sources Reply-To: =?utf-8?B?0JDQvdC00YDQtdC5INCR0LXRgNCz0LzQsNC9?= X-Loop: caml-list@inria.fr X-Sequence: 17565 Errors-to: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Archive: List-Help: List-Owner: List-Post: List-Subscribe: List-Unsubscribe: Hello! Do I understand it right, that currently Ocaml compiler can compile programs, written in Latin1, various 8-bit encodings with Latin1 base (character code < 128) and UTF-8, all the identifiers should be within Latin1 base, while string literals can contain any characters? And UTF-16 is not supported - am I correct? And this is pretty much the same for all Windows/Linux/OSX? Sincerely, Andrey.