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 mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by sympa.inria.fr (Postfix) with ESMTPS id 3A5FD7EE20 for ; Sat, 17 Nov 2012 02:43:11 +0100 (CET) Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender authenticity information available from domain of thelema314@gmail.com) identity=pra; client-ip=209.85.210.182; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="thelema314@gmail.com"; x-sender="thelema314@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail1-smtp-roc.national.inria.fr: domain of thelema314@gmail.com designates 209.85.210.182 as permitted sender) identity=mailfrom; client-ip=209.85.210.182; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="thelema314@gmail.com"; x-sender="thelema314@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-ia0-f182.google.com) identity=helo; client-ip=209.85.210.182; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="thelema314@gmail.com"; x-sender="postmaster@mail-ia0-f182.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AmgBAJrqplDRVdK2mGdsb2JhbABEhVm9TAgjAQEBAQEICQ0HFCeCXQgBGxwCAxIQFhYYAwIBAgEREQEFAS8IAQGHdgEDD51Egm+MM4J4hQ8KGScNWYh1AQUMjg2DJwOIWo0ihWuIdz+ELw X-IronPort-AV: E=Sophos;i="4.83,268,1352070000"; d="scan'208";a="181916946" Received: from mail-ia0-f182.google.com ([209.85.210.182]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 17 Nov 2012 02:43:10 +0100 Received: by mail-ia0-f182.google.com with SMTP id x2so3711212iad.27 for ; Fri, 16 Nov 2012 17:43:09 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=message-id:date:from:user-agent:mime-version:to:subject :content-type:content-transfer-encoding; bh=LZ48Ka9FfH1uWXNAM3sQyr0s2Nv7xt0L1Wmi/6bGb18=; b=h3CghWXwtJEf04EJ5FLeY+oqnRHcssQldvZttwMtZT9cjEyCMI1hKB9lb3aNWTivNi 9PuQSC6uf2WL255uJHJq8m8WOg5uS+xfuLjKcWrn9kFEJbLKuUb+Uoyxb+IeIhvDaJfx v6Kg2TEgAffboAUzoB+bNTwrVOtjMV2p/ebYSVDLpTzNIwqkC0Ydevm3krGg/oGgeXp+ oSvisft0vw0NqV5C2R7+0sejlYTQ4C1YMnTukBW+7Hldy3fLb5WIPQmMRUDk+cP1ZWzV CgNSLCu2SGRwvbeG+NQn46Fq+TS/v2A112gi7vmqhgnrltv1i/8a7VwTChXrd+cJff0g OMHA== Received: by 10.50.15.226 with SMTP id a2mr599026igd.5.1353116589406; Fri, 16 Nov 2012 17:43:09 -0800 (PST) Received: from [192.168.1.73] (99-121-78-10.lightspeed.lnngmi.sbcglobal.net. [99.121.78.10]) by mx.google.com with ESMTPS id dq9sm1793705igc.5.2012.11.16.17.43.07 (version=SSLv3 cipher=OTHER); Fri, 16 Nov 2012 17:43:08 -0800 (PST) Message-ID: <50A6EBAD.8050204@gmail.com> Date: Fri, 16 Nov 2012 20:43:09 -0500 From: Edgar Friendly User-Agent: Mozilla/5.0 (Windows NT 6.1; WOW64; rv:16.0) Gecko/20121026 Thunderbird/16.0.2 MIME-Version: 1.0 To: caml-list@inria.fr Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit Subject: [Caml-list] OCaml linting I'm playing with Sublime Text 2, and find it has an interesting plugin to do active linting of a program under development. What's the set of compiler options that will produce warnings/errors the quickest, for using ocamlc to quickly check for syntax and maybe even type errors in a partial program? Does anyone already have a process for this under emacs, using auto-recompile or other plugins? Thanks, E.