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 ESMTP id 4315C5D5 for ; Sun, 22 Apr 2018 13:17:12 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.49,312,1520895600"; d="scan'208";a="323966947" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 22 Apr 2018 15:17:08 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id ABAAC82444; Sun, 22 Apr 2018 15:17:08 +0200 (CEST) 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 2AFDA82416 for ; Sun, 22 Apr 2018 15:17:03 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=dboulytchev@gmail.com; spf=Pass smtp.mailfrom=dboulytchev@gmail.com; spf=None smtp.helo=postmaster@mail-lf0-f46.google.com IronPort-PHdr: =?us-ascii?q?9a23=3A8MGfrh3vEk/r0TubsmDT+DRfVm0co7zxezQtwd8Z?= =?us-ascii?q?se0TIvad9pjvdHbS+e9qxAeQG9mDsLQc06L/iOPJYSQ4+5GPsXQPItRndiQuro?= =?us-ascii?q?EopTEmG9OPEkbhLfTnPGQQFcVGU0J5rTngaRAGUMnxaEfPrXKs8DUcBgvwNRZv?= =?us-ascii?q?JuTyB4Xek9m72/q99pHPbQhEniaxba9vJxiqsAvdsdUbj5F/Iagr0BvJpXVIe+?= =?us-ascii?q?VSxWx2IF+Yggjx6MSt8pN96ipco/0u+dJOXqX8ZKQ4UKdXDC86PGAv5c3krgfM?= =?us-ascii?q?QA2S7XYBSGoWkx5IAw/Y7BHmW5r6ryX3uvZh1CScIMb7S60/Vza/4KdxUBLmli?= =?us-ascii?q?cJOSM6/m/ZhMN/g75Urh26qhxjwIPZep2ZOOZwc67fe94RWGpPXtxWVyxEGo6y?= =?us-ascii?q?YY4PD+sdPeZCron2ukYDrRyjBQmoBOLv1iNHhn/o0q0kzu8sFhzJ0xcnH9ITtH?= =?us-ascii?q?TVrMn1O7sSUe+r0qnF1jrDb/ZM1jf87IjEaAwuofaJXb9pd8fa1EohFxvdg1mO?= =?us-ascii?q?tYDoOymZ2+cNvmSB8eZsSOKih3QopgxwujSj28Uhh4rTio4Iy13I6z91zJsoKd?= =?us-ascii?q?GiVkJ3fN+pHZ1NvC+ALYR2WNktQ2RwtSY61LIGvZm7cTAPyJs9xh7fb+WLc4yG?= =?us-ascii?q?4h7/TeqRLzh1iXN/dLKwgBay9kegyuniWcWuzFlKqS9FnsHNtnALyRPT9tCKRu?= =?us-ascii?q?Vh8kqlwzqC1ADe5vtaLUwplafXMZEsz78ompoWq0vDHyv2mEvsjK+Rc0Up4vWn?= =?us-ascii?q?5P/gYrX7op+dN5N0hR3+MqswhMyyGus4Mg0UUGia/eSwzqHs/Ur8QLlSlP05jr?= =?us-ascii?q?HZsIzGJcQcvqO2HxVa0oMn6xqmCzem0c8YnWUcIVJeeBOHipDpNEvULPD5C/e/?= =?us-ascii?q?mVWsny1xy/DIJL2ySqnKe3PKlbOkebdm9wYIwwM2yZVb5olIIrAHOvP6HEHr4o?= =?us-ascii?q?/2FBg8ZiCxwvr9CZ1X0Z4aSH6EAqKHePfeu1iV4vMzKOmBeqcavT/8L74u4Pu4?= =?us-ascii?q?3ixxokMUYaT8hchfU3u/BPkzexzIM0qpuc8IFCIxhiR7SeXrjFOYVjsKPiS9Wq?= =?us-ascii?q?s94ncwD4f0VN6fFLDou6SI2WKAJrMTfnpPUwneHnLhdoHCUPAJOnrLf51R1wcc?= =?us-ascii?q?XL3kcLcPkBGjsAigluhiJ+vQvykW7dftiIYz6OrUmhU/szdzCpbF3g=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0A7BgCtitxafy7XVdFchFiBH4NqlHiBS?= =?us-ascii?q?4E4h1CNKAsFhy0ZBwEENBQBAgEBAQEBAQEBARMBAQkLCwgmJQyCNSKCdQQLAQU?= =?us-ascii?q?IARseAxIDDQ8CJgIlEQEFASINCAEBhHIBAxUEi02PfzyLBYFpFgUBF4JwBYFjg?= =?us-ascii?q?WUKGSYNVFeCJgIGCQEId4cDgVQ/gTKKW4JUAoxmiw0IjjoGgSaGFQ+FBCuPWwI?= =?us-ascii?q?EAgQFAgUPIYEEM4FzcIEBghKFfIpVbJBNAQE?= X-IPAS-Result: =?us-ascii?q?A0A7BgCtitxafy7XVdFchFiBH4NqlHiBS4E4h1CNKAsFhy0?= =?us-ascii?q?ZBwEENBQBAgEBAQEBAQEBARMBAQkLCwgmJQyCNSKCdQQLAQUIARseAxIDDQ8CJ?= =?us-ascii?q?gIlEQEFASINCAEBhHIBAxUEi02PfzyLBYFpFgUBF4JwBYFjgWUKGSYNVFeCJgI?= =?us-ascii?q?GCQEId4cDgVQ/gTKKW4JUAoxmiw0IjjoGgSaGFQ+FBCuPWwIEAgQFAgUPIYEEM?= =?us-ascii?q?4FzcIEBghKFfIpVbJBNAQE?= X-IronPort-AV: E=Sophos;i="5.49,312,1520895600"; d="scan'208";a="262908561" Received: from mail-lf0-f46.google.com ([209.85.215.46]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 22 Apr 2018 15:17:02 +0200 Received: by mail-lf0-f46.google.com with SMTP id j68-v6so11073243lfg.13 for ; Sun, 22 Apr 2018 06:17:02 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=to:from:subject:message-id:date:user-agent:mime-version :content-transfer-encoding:content-language; bh=aAw86pvVCzl2LHG55l5UKv7MH2bvdjquJga7C20hzVg=; b=hMv0YzstUALxbLiIdFMs9I8mg/Q1mLiCK/PIH08jG3JLWHNZQrhV9OCIaW0Cv/1ykr 9XW4I+MbHP9Uq/gaBF8gIz3T1QFhDCuvVk06X8fIWQXKjbjDZVDbAtv8sVJBataFv2Q5 9wrZNmQMQyruJhPg7H+A8C43sFuP7Ohyp471lL69gPWlc2Cfo4Sod4p28BK3K80S+uwA 1Sn+pSk58mU4GypK3EvF8I1JfhMEgvdjTIj/PU7PuWdlnoIb1132uSFhwf1QtSMrQfnA nlU3VKl1kZyfItILPen9fv1O2EmPeBTGgvHJk4BI8QbnU63Q6izbrONJL+7SOzUpPOx6 7YWw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:to:from:subject:message-id:date:user-agent :mime-version:content-transfer-encoding:content-language; bh=aAw86pvVCzl2LHG55l5UKv7MH2bvdjquJga7C20hzVg=; b=D7jiy67HmoXTsk2+dKE4etpyccFANG7fCIXHo0u7jNusNRNbgbG3P+OIkP4EIAL92K QGyPDYS9Z7WgZM7zN+XnEXXPkCT3HQ4DPeZpLV8VTfSAjXpcDZUyigkXRyYze2oui3rW 4xx8dkRCkP+xYD+djl60E9roERioHsOfuv7wFn1T3pfqEg29rmd+c4ymXUt6iyXKDFfV UrkIII+ztOEbhea5hqr2kg5IasgvxnpQih9UKsztaOUqiYU8UOvZyXsbCPYctPB2UVjW 2dDdzktGR0Ukh1vjB0eNWkLNYgxbTRmgnxSdOzFtSMerZ4QQqgVcVOyx6LfSWiWwJc5y frBQ== X-Gm-Message-State: ALQs6tCCoJr4WTAkc15sRPP8sFoYjffqozMWRx93qQPZ875H5obNggFu 1q3q3CjweNpTdpMa7isBihjtoA== X-Google-Smtp-Source: AIpwx499+IBIVHwbeZPCY27XbB4IJpz6f2Y7qPfRjb0OTd8cAOSFUweYSULP60r5Qsw9G7ixnSCXyQ== X-Received: by 10.46.43.150 with SMTP id r22mr12052415ljr.2.1524403021081; Sun, 22 Apr 2018 06:17:01 -0700 (PDT) Received: from [192.168.1.76] ([178.162.11.216]) by smtp.gmail.com with ESMTPSA id j85-v6sm2245707lfh.5.2018.04.22.06.17.00 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Sun, 22 Apr 2018 06:17:00 -0700 (PDT) To: caml-list From: Dmitri Boulytchev Message-ID: Date: Sun, 22 Apr 2018 16:16:59 +0300 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101 Thunderbird/52.7.0 MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 8bit Content-Language: en-US Subject: [Caml-list] Sys.signal / Sys.set_signal broken in native code? Reply-To: Dmitri Boulytchev X-Loop: caml-list@inria.fr X-Sequence: 16841 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,     Sys.signal / Sys.set_signal doest not work in native code. The following code     let _ =       Sys.set_signal Sys.sigalrm (Sys.Signal_handle (fun _ -> failwith "Timeout..."));       ignore (Unix.alarm 5);       while true do () done     loops forever being compiled with ocamlopt (and raises the expected exception with ocamlc). Am I missing something?     Ubuntu 16.04 64bit, tried with 4.06.0 and 4.06.1     Best regards,     Dmitry Boulytchev,     St Petersburg State University. -- 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