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 20E627EE20 for ; Sat, 17 Nov 2012 03:05:15 +0100 (CET) Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender authenticity information available from domain of wojciech.meyer@googlemail.com) identity=pra; client-ip=209.85.219.54; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="wojciech.meyer@googlemail.com"; x-sender="wojciech.meyer@googlemail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail1-smtp-roc.national.inria.fr: domain of wojciech.meyer@googlemail.com designates 209.85.219.54 as permitted sender) identity=mailfrom; client-ip=209.85.219.54; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="wojciech.meyer@googlemail.com"; x-sender="wojciech.meyer@googlemail.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-oa0-f54.google.com) identity=helo; client-ip=209.85.219.54; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="wojciech.meyer@googlemail.com"; x-sender="postmaster@mail-oa0-f54.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AkcCAILwplDRVds2m2dsb2JhbABEsBmJNwGJVAgjAQEBAQEICQsJFCeCHgEBBUABLQsBAwwGBQQBBgMKDSEhARIBBQEKEgYTEodoAQMPC6AujyuFDApAAwqJTgEFDIs+aYUNA5QngVWBHIoWgzAWKYQR X-IronPort-AV: E=Sophos;i="4.83,268,1352070000"; d="scan'208";a="181918121" Received: from mail-oa0-f54.google.com ([209.85.219.54]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 17 Nov 2012 03:05:14 +0100 Received: by mail-oa0-f54.google.com with SMTP id n9so5770210oag.27 for ; Fri, 16 Nov 2012 18:05:13 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :cc:content-type; bh=GVZ8F1ymBFSNJ15ORwsXAHtABI7ixL6uVDxbOs+FeQA=; b=X0D3tqMbwaEXkcSUbwLNa8IdAKMNGfXHFmGI8LbphTMfYCDuxilghcGSZN603St4wd kKzdAMs8G3FHujgsH0XhqQ4mbBFx8Tkizjv+OdzGFk9rW+mvZOFQepJl2TngH8U0Bvk8 WQkTfePQ86xZJ6UyjUmPR+YTWHntc7KQC2pkIPipPzM5oS1xD0wCGVlBr4LZwpm8IfIH Hzb98zU8BTFde7tPqX8Qc/qeUPz0b8IP9kTJA+UCn6dhU73/HcPm+ZwKUpHCFEfWR8J/ 2DRfcRzCCIVUAHOhamXxhB7GpepVf0SqrvGBPyUujU6XRZtDlponFUcUCw/prHuqC5pm 4IVQ== MIME-Version: 1.0 Received: by 10.60.19.105 with SMTP id d9mr5629607oee.83.1353117913000; Fri, 16 Nov 2012 18:05:13 -0800 (PST) Received: by 10.76.81.229 with HTTP; Fri, 16 Nov 2012 18:05:12 -0800 (PST) In-Reply-To: <50A6EBAD.8050204@gmail.com> References: <50A6EBAD.8050204@gmail.com> Date: Sat, 17 Nov 2012 02:05:12 +0000 Message-ID: From: Wojciech Meyer To: Edgar Friendly Cc: "caml-list@inria.fr" Content-Type: multipart/alternative; boundary=e89a8ff1c4be8b294504cea750f5 Subject: Re: [Caml-list] OCaml linting --e89a8ff1c4be8b294504cea750f5 Content-Type: text/plain; charset=ISO-8859-1 Hi, In typerex there is an experimental extension that enables compilation in background,called flymake. With Omake, you can specify the -P flag, then it will keep polling for inode events and rebuild what is needed. On Saturday, November 17, 2012, Edgar Friendly wrote: > 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. > > -- > 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 > --e89a8ff1c4be8b294504cea750f5 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable Hi,

In typerex there is an experimental extension that enables compi= lation in background,called flymake.
With Omake, you can specify the -P = flag, then it will keep polling for inode events and rebuild what is needed= .

On Saturday, November 17, 2012, Edgar Friendly <thelema314@gmail.com> wrote:
> I'm pla= ying with Sublime Text 2, and find it has an interesting plugin to do activ= e linting of a program under development. =A0What's the set of compiler= options that will produce warnings/errors the quickest, for using ocamlc t= o quickly check for syntax and maybe even type errors in a partial program?= =A0Does anyone already have a process for this under emacs, using auto-rec= ompile or other plugins?
>
> Thanks,
> E.
>
> --
> Caml-list mailin= g list. =A0Subscription management and archives:
> https://sympa.inria.fr/sympa/arc/caml-= list
> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
> Bug repo= rts: http://caml.inria.fr/bi= n/caml-bugs
> --e89a8ff1c4be8b294504cea750f5--