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 mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id EED5D8239C for ; Wed, 14 Feb 2018 04:31:20 +0100 (CET) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=tim@ryanleonard.us; spf=None smtp.mailfrom=tim@ryanleonard.us; spf=None smtp.helo=postmaster@mail-yw0-f179.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of tim@ryanleonard.us) identity=pra; client-ip=209.85.161.179; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="tim@ryanleonard.us"; x-sender="tim@ryanleonard.us"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of tim@ryanleonard.us) identity=mailfrom; client-ip=209.85.161.179; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="tim@ryanleonard.us"; x-sender="tim@ryanleonard.us"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-yw0-f179.google.com) identity=helo; client-ip=209.85.161.179; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="tim@ryanleonard.us"; x-sender="postmaster@mail-yw0-f179.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3Ap64llxCQzqWFPvVKVvoaUyQJP3N1i/DPJgcQr6Af?= =?us-ascii?q?oPdwSPv6o8bcNUDSrc9gkEXOFd2Cra4c0qyO6+jJYi8p2d65qncMcZhBBVcuqP?= =?us-ascii?q?49uEgeOvODElDxN/XwbiY3T4xoXV5h+GynYwAOQJ6tL1LdrWev4jEMBx7xKRR6?= =?us-ascii?q?JvjvGo7Vks+7y/2+94fcbglUmTaxe69+IAmrpgjNq8cahpdvJLwswRXTuHtIfO?= =?us-ascii?q?pWxWJsJV2Nmhv3+9m98p1+/SlOovwt78FPX7n0cKQ+VrxYES8pM3sp683xtBnM?= =?us-ascii?q?VhWA630BWWgLiBVIAgzF7BbnXpfttybxq+Rw1DWGMcDwULs5Xymp4aV2Rx/ykC?= =?us-ascii?q?oHLD43/33YhMN/gqxVvRGvqQJ4zYPPfIGVLf9+cr/dfd8GR2dMWNtaWSxbAoO7?= =?us-ascii?q?aosCF/QPPeddr4LgoVUBsxy+BQ+2C+P11zBDm3j707M70+QkCgzIwg0gH9cIvn?= =?us-ascii?q?vKq9X1Mr0dUfqow6XS0DXDdOpb1DHg44bLahAsue+AUa50fMbLykQiFxnJgkiR?= =?us-ascii?q?pID4JT+Zy+YAvmyD4+diVe+jkXMrpg9+rzS128shhJPFipwJxl3C6C532pw6Jc?= =?us-ascii?q?eiR05+edOkEIVftyWdN4ZuR8MtWWBouCIjxrwGt5+3YDEGyJo6yxPdb/GLaYeI?= =?us-ascii?q?4hXkVOaeJTd3mmhpd664hxa36USgy+v8Wdeo0FtSsCZJjt3BumoO2hHT8MSLV/?= =?us-ascii?q?pw8lq71TqS1Q3e7vlIIUUumqraL54hzKQwlp0WsUnbAi/2mUD2gbSMdkQk4Oeo?= =?us-ascii?q?7eDnbavhpp+aLYB0kBzxPr4zmsykGeg4KBQBX3CH+eSg073u5VH2T69Pjv0yi6?= =?us-ascii?q?XZtJHaJd8HpqOiGA9U0oMj6w6lADu80dQYm2MHLFNfdx6dgYjpIQKGHPetBv66?= =?us-ascii?q?hxGokSx37/HAJLzoRJvXfVbZl7K0Qbd4o2pRzww619wXs65VD5k9IffXV0j3vc?= =?us-ascii?q?bUSAIiZV/ni937Aclwg9tNEVmEBbWUZfuL4A24o9k3KuzJX7c7/TP0Kvwr/fnr?= =?us-ascii?q?1CFrg04Ue62k2p0ecnz+A+80exzFM0qpuc8IFCIxhiR7VPbj0QPQSy9aYXK/WK?= =?us-ascii?q?Q1/D19FZn0Vd6eFLDou6SI2WKAJrMTZm1CDQrSQ3LhdoHBSuhULSzLfZ4nnTsD?= =?us-ascii?q?WrysDYQm0EP2uQ=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BEDQDPrINahrOhVdFdHgEGDIQogSiDZ?= =?us-ascii?q?ZhKgxmXegNmiCUZBgU1EwECAQEBAQEBAQEBEgEBAQgLCwgoL4I4IoJzBBkBATg?= =?us-ascii?q?QJAImAjYBBQEWilSjRkCLKW6BbTqDCwEBBYFvg3+CPQgJAQh9g3KCFVSDFIhzg?= =?us-ascii?q?ksxgjSTaJBLCYFGlkQBiiQRiAiUS4MgAgQCBAUCBhQlgRc3gXFNNWoBghs/gVI?= =?us-ascii?q?BNIJPWgGOBQEBAQ?= X-IPAS-Result: =?us-ascii?q?A0BEDQDPrINahrOhVdFdHgEGDIQogSiDZZhKgxmXegNmiCU?= =?us-ascii?q?ZBgU1EwECAQEBAQEBAQEBEgEBAQgLCwgoL4I4IoJzBBkBATgQJAImAjYBBQEWi?= =?us-ascii?q?lSjRkCLKW6BbTqDCwEBBYFvg3+CPQgJAQh9g3KCFVSDFIhzgksxgjSTaJBLCYF?= =?us-ascii?q?GlkQBiiQRiAiUS4MgAgQCBAUCBhQlgRc3gXFNNWoBghs/gVIBNIJPWgGOBQEBA?= =?us-ascii?q?Q?= X-IronPort-AV: E=Sophos;i="5.46,510,1511823600"; d="scan'208";a="254703691" Received: from mail-yw0-f179.google.com ([209.85.161.179]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 14 Feb 2018 04:31:19 +0100 Received: by mail-yw0-f179.google.com with SMTP id f12so5046856ywb.8 for ; Tue, 13 Feb 2018 19:31:19 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=ryanleonard-us.20150623.gappssmtp.com; s=20150623; h=sender:from:content-transfer-encoding:mime-version:date:subject :message-id:to; bh=+et6OjQTy/qmeP65v6x0fkRrsib0QTNM+PH6CR2CyLY=; b=EbFAr7o9tR3NfouO/YeINdXaJjvEpR55wPm/2D+/MzkXdftieTRFFydUb6eXlMWLWw 3bIQHbFACGh11fX/OCOWA6S59Fip44w4glhk5d09amSzPztxsxGm1kW1UctO0w8MFLtp OTNYO6Sw5BqheTnrjxr6x7mcn2+WB0Y7YCAZaotZupNW0yAV7mK9NlRcvE4pO9K24kPY s1684cVwg3iJlS7aD0iPzMzljZC6oIzlAcnbT3evsvLGfcxYi0NXZMKuFlBGJ1snBZjc RqK01s83cg93ooH/jVvLV2SiEC97jjMaJIA4TaD1PvfkpGwZ1lKOCXUtc9/bytLcp0F5 zYfQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:sender:from:content-transfer-encoding :mime-version:date:subject:message-id:to; bh=+et6OjQTy/qmeP65v6x0fkRrsib0QTNM+PH6CR2CyLY=; b=UYQAezXAfiuOVgTIy8i6oDjpOIkGNAe7Z9jIp2ES+ivc+JKPW/1D/sxRSlslD0cqs+ x4ycn0wTgKgYcQvW2ZD74Qe4NEpgEMpUtQ2dlK5omndykdMxCOlRIgCVI9m1N7D1RbzB f00MxJCVmeXEFiVb1h6el5KU2yP6KoNstziKP0LgCKPIyv8tkXP4XU8Hxu6Q2TURhrb2 d8dEzDry8bMg5xdr+fWw3oAfSWbMTku3pgZu7+U2Uxr057Ohx3tuFFolQjJG+3xDJrlF 5Ru7pmPupPJvAU4ngrzeXarkVCEpsXDTov1zEBgUMm8+79eQR2+HreZAmh40aPjKMZr/ qvuA== X-Gm-Message-State: APf1xPBTVSafEsecaBtwFpYG6ajPPgd5vVrlOC3yidzmQ/aIR7ksjE3o nM1J1iA0bArrRNSU9TuF+lzBfgIy7Iw= X-Google-Smtp-Source: AH8x225wbU+rV1r3ywhmfljUAKxr/hPs032rLYGhHqIlD4vDqlis2PvCMROmmTqYi/36UyPbb+/6hQ== X-Received: by 10.37.114.7 with SMTP id n7mr2347928ybc.422.1518579077983; Tue, 13 Feb 2018 19:31:17 -0800 (PST) Received: from [10.0.1.3] ([75.134.13.20]) by smtp.gmail.com with ESMTPSA id i6sm4680157ywa.0.2018.02.13.19.31.15 (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Tue, 13 Feb 2018 19:31:16 -0800 (PST) Sender: Tim Leonard From: Tim Leonard Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Mime-Version: 1.0 (Mac OS X Mail 11.2 \(3445.5.20\)) Date: Tue, 13 Feb 2018 22:31:14 -0500 Message-Id: <21BC6EDE-DB27-460B-A4D5-BBD583C9E899@TimLeonard.us> To: caml-list@inria.fr X-Mailer: Apple Mail (2.3445.5.20) Subject: [Caml-list] a question about syntax A simple question of syntax: why does the first definition of function f ca= use a syntax error? Shouldn=E2=80=99t the semicolon syntactically terminate the match expressio= n? type my_record =3D { field1 : bool; field2 : int };; let f x =3D { field1 =3D match x with _ -> true ; field2 =3D 2 };; (* th= is fails *) let f x =3D { field1 =3D ( match x with _ -> true ); field2 =3D 2 };; (* th= is is ok *)