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 53A7782095 for ; Sun, 4 Aug 2013 02:49:52 +0200 (CEST) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of yminsky@janestreet.com) identity=pra; client-ip=38.105.200.229; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="yminsky@janestreet.com"; x-sender="yminsky@janestreet.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of yminsky@janestreet.com designates 38.105.200.229 as permitted sender) identity=mailfrom; client-ip=38.105.200.229; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="yminsky@janestreet.com"; x-sender="yminsky@janestreet.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@tot-dmz-mxout1.janestreet.com) identity=helo; client-ip=38.105.200.229; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="yminsky@janestreet.com"; x-sender="postmaster@tot-dmz-mxout1.janestreet.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AvcBAJKk/VEmacjlnGdsb2JhbABagztQgkm9Xh4OAQEBAQEGDQkJFCiCawEBOCVdEgEFASKIIwMJmUqLDIRFAQWNAAaULZdjgSqOQBYphFk X-IPAS-Result: AvcBAJKk/VEmacjlnGdsb2JhbABagztQgkm9Xh4OAQEBAQEGDQkJFCiCawEBOCVdEgEFASKIIwMJmUqLDIRFAQWNAAaULZdjgSqOQBYphFk X-IronPort-AV: E=Sophos;i="4.89,809,1367964000"; d="scan'208";a="23183584" Received: from mx5.janestreet.com (HELO tot-dmz-mxout1.janestreet.com) ([38.105.200.229]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 04 Aug 2013 02:49:51 +0200 Received: from tot-oib-smtp1.delacy.com ([172.27.22.15] helo=tot-smtp) by tot-dmz-mxout1.janestreet.com with esmtp (Exim 4.76) (envelope-from ) id 1V5mW4-0003R9-1E for caml-list@inria.fr; Sat, 03 Aug 2013 20:49:48 -0400 Received: from tot-dmz-mxgoog1.delacy.com ([172.27.224.14] helo=mxgoog2.janestreet.com) by tot-smtp with esmtps (TLSv1:AES256-SHA:256) (Exim 4.72) (envelope-from ) id 1V5mW3-0000xu-TB for caml-list@inria.fr; Sat, 03 Aug 2013 20:49:47 -0400 Received: from mail-ea0-f174.google.com ([209.85.215.174]) by mxgoog2.janestreet.com with esmtp (Exim 4.76) (envelope-from ) id 1V5mW3-0003hK-PB for caml-list@inria.fr; Sat, 03 Aug 2013 20:49:47 -0400 Received: by mail-ea0-f174.google.com with SMTP id z15so954698ead.5 for ; Sat, 03 Aug 2013 17:49:47 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=janestreet.com; s=google; h=mime-version:date:message-id:subject:from:to:content-type; bh=a87VW69AFCNVVn5sQ8+iENBXIf13H8cvU2WRwTNom/w=; b=sI49lqHdStWqFvdWLEYfVk124CK2Gi6qutSvhM2e9/ALycEeiRzqFzb3Z+vrq87HR/ x6xEWN0WKUWACRNfVxxwOJSktJAPGljFyJ0Vipr66jA62iSSLf9UaiclASQSEyK2pc/b zSLcRAbR+MJhTmhay/hPKvnRSBcjQwM4kX7VM= X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=20120113; h=mime-version:date:message-id:subject:from:to:content-type :x-gm-message-state; bh=a87VW69AFCNVVn5sQ8+iENBXIf13H8cvU2WRwTNom/w=; b=axUa8/OKrIXD4dog1PzBfyAAqtHMlefHtIGI91Lhwp59fLYHqh5M2/z5CZ+j0c5F3v ebm0sLr39vxN5wJfaO1ecyIS9uAGf8Ifrom7LnuJ8T0S9bAK9qKvRAyt2EEbsnnX+jdf SbAJ+StBLW7i83BJwmsKEvPPDkoNyt4Bbg1d6Ai/XQriwSWUyD2S4DGsRfkBkVhIdm35 Ot3htz9nZ0DKhPrLN3IuGsgMqSXBaLZZc1ciIcj7lBb5G50NY896OdJxYXNC6E+HMozk wYX4EUjDQoOaiujpIeO3G/NhjTXQkXM9VVKxk5FRZjjwanqzkcHMMwhBVBD6c9TqRYoA KIhw== X-Received: by 10.14.174.194 with SMTP id x42mr11078111eel.87.1375577387159; Sat, 03 Aug 2013 17:49:47 -0700 (PDT) MIME-Version: 1.0 X-Received: by 10.14.174.194 with SMTP id x42mr11078108eel.87.1375577387045; Sat, 03 Aug 2013 17:49:47 -0700 (PDT) Received: by 10.223.43.65 with HTTP; Sat, 3 Aug 2013 17:49:46 -0700 (PDT) Date: Sat, 3 Aug 2013 20:49:46 -0400 Message-ID: From: Yaron Minsky To: "caml-list@inria.fr" Content-Type: text/plain; charset=ISO-8859-1 X-Gm-Message-State: ALoCoQnkopk8cNYxplKAGyNF4BdH9I+yhp3u/Wl1jmzMLhACnr12qddDk+jVgKWyJYy42qWcniP3X1tUAVK7qppCt6PMQ6Pbyp7CLhjypUfGNfdUg9ibJDglQMOnrdAbVQGeqrOEUl6DRZ5t8d5RtW++ZIIbIG4zIQ== Subject: [Caml-list] Turning floating point errors into exceptions This is really bringing up a rather old question to see whether the state of the world has changed when it comes to handling floating point exceptions. Here's the thread on this topic from 2003. http://caml.inria.fr/pub/ml-archives/caml-list/2003/10/686468535e6100213e2e85bca8be51f1.en.html The key question is: is it possible to cause floating point operations that generate values like NaN and inf to instead generate exceptions. The answer from Xavier as of 2003 is: no, there's no good way of portably catching a synchronous error like SIGFPE. Apparently this is in part due to the state of the C standards of the time. So, I'm curious whether things have changed enough such that this would now be easier. The issue came up again because I've been showing OCaml to a physicist friend who asked how to turn on this behavior in OCaml, a thing he's used to from Fortran and considers essential for debugging. y