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 241FA7EE99 for ; Fri, 10 Jan 2014 19:15:16 +0100 (CET) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of jwatzman@fb.com) identity=pra; client-ip=67.231.145.42; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="prvs=6087166150=jwatzman@fb.com"; x-sender="jwatzman@fb.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of prvs=6087166150=jwatzman@fb.com designates 67.231.145.42 as permitted sender) identity=mailfrom; client-ip=67.231.145.42; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="prvs=6087166150=jwatzman@fb.com"; x-sender="prvs=6087166150=jwatzman@fb.com"; 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@mx0a-00082601.pphosted.com) identity=helo; client-ip=67.231.145.42; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="prvs=6087166150=jwatzman@fb.com"; x-sender="postmaster@mx0a-00082601.pphosted.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AqADAL430FJD55Eqf2dsb2JhbAA/GoNDVrpbFg4BAQkNCggUKIIsOgYBATgRAT5CHwgEiBcNNqZmAQGEUQEFlyMGjkOCew9mgROZS5QSgio X-IPAS-Result: AqADAL430FJD55Eqf2dsb2JhbAA/GoNDVrpbFg4BAQkNCggUKIIsOgYBATgRAT5CHwgEiBcNNqZmAQGEUQEFlyMGjkOCew9mgROZS5QSgio X-IronPort-AV: E=Sophos;i="4.95,639,1384297200"; d="scan'208";a="52728262" Received: from mx0a-00082601.pphosted.com ([67.231.145.42]) by mail2-smtp-roc.national.inria.fr with ESMTP; 10 Jan 2014 19:15:14 +0100 Received: from pps.filterd (m0044008 [127.0.0.1]) by mx0a-00082601.pphosted.com (8.14.5/8.14.5) with SMTP id s0AICj5o022514 for ; Fri, 10 Jan 2014 10:15:12 -0800 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=fb.com; h=from : to : subject : date : message-id : content-type : content-id : content-transfer-encoding : mime-version; s=facebook; bh=3PZcsvm9b9sU66cG9W27csfNCJmC6dESzTiNjE2ZwaM=; b=ZVJc7CxwxfxKpvennbgg/RgNTELztTflOmmMGVuwcpwPr9zZTkow55vDgfBhNsOD5kgZ KRpPqMhd0apvHASPG39M4snxA+ue0pd0MpOsucrvdLT1K2asFMOZJlA1IKvpa0pNnEfD IQ8amnv1Cl6Zk4hmxZCimBVhH27OmkOCR8Y= Received: from mail.thefacebook.com (mailwest.thefacebook.com [173.252.71.148]) by mx0a-00082601.pphosted.com with ESMTP id 1hadbdhpa5-1 (version=TLSv1/SSLv3 cipher=AES128-SHA bits=128 verify=OK) for ; Fri, 10 Jan 2014 10:15:11 -0800 Received: from PRN-MBX02-2.TheFacebook.com ([169.254.5.110]) by PRN-CHUB02.TheFacebook.com ([fe80::5de8:34:5a87:6990%12]) with mapi id 14.03.0174.001; Fri, 10 Jan 2014 10:15:11 -0800 From: Josh Watzman To: "caml-list@inria.fr" Thread-Topic: ocamldebug improvement patches Thread-Index: AQHPDi/lACibcWWnlUyphxSZx+Brbw== Date: Fri, 10 Jan 2014 18:15:09 +0000 Message-ID: Accept-Language: en-US Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: x-originating-ip: [192.168.16.4] Content-Type: text/plain; charset="us-ascii" Content-ID: <85480E1005BD784DB7C7A6BE05BB85A1@fb.com> Content-Transfer-Encoding: quoted-printable MIME-Version: 1.0 X-Proofpoint-Virus-Version: vendor=fsecure engine=2.50.10432:5.11.87,1.0.14,0.0.0000 definitions=2014-01-10_07:2014-01-10,2014-01-10,1970-01-01 signatures=0 X-Proofpoint-Spam-Details: rule=fb_default_notspam policy=fb_default score=0 kscore.is_bulkscore=1.85514687556232e-07 kscore.compositescore=0 circleOfTrustscore=0.832 compositescore=0.999802048357014 urlsuspect_oldscore=0.999802048357014 suspectscore=0 recipient_domain_to_sender_totalscore=0 phishscore=0 bulkscore=0 kscore.is_spamscore=0 recipient_to_sender_totalscore=0 recipient_domain_to_sender_domain_totalscore=104 rbsscore=0.999802048357014 spamscore=0 recipient_to_sender_domain_totalscore=0 urlsuspectscore=0.9 adultscore=0 classifier=spam adjust=0 reason=mlx scancount=1 engine=7.0.1-1305240000 definitions=main-1401100112 X-FB-Internal: deliver Subject: [Caml-list] ocamldebug improvement patches A few weeks ago, I submitted Mantis tickets including patches which I belie= ve make ocamldebug much more usable for a human user. No one has reviewed o= r responded to them yet, and it was suggested I post here: would someone wi= th commit access be so kind as to take a look at the patches, and either co= mmit them if they are acceptable, or let me know if not so I can improve th= em and resubmit? I personally find the quirks in ocamldebug that these patc= hes fix quite frustrating, and I would love to see the changes incorporated= in upstream ocaml to improve both my own experience and the experience of = others :) Relevant Mantis tickets: http://caml.inria.fr/mantis/view.php?id=3D6267 http://caml.inria.fr/mantis/view.php?id=3D6270 Thanks! Josh Watzman