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 47D497FE44 for ; Sun, 3 Jul 2016 00:38:18 +0200 (CEST) IronPort-PHdr: 9a23:VKdU5hYF0F9moY8nDDz4Imr/LSx+4OfEezUN459isYplN5qZpcq8bnLW6fgltlLVR4KTs6sC0LuO9fq4EjVfud6oizMrSNR0TRgLiMEbzUQLIfWuLgnFFsPsdDEwB89YVVVorDmROElRH9viNRWJ+iXhpQAbFhi3DwdpPOO9QteU1JXvkbrqsMSMO01hv3mUWftKNhK4rAHc5IE9oLBJDeIP8CbPuWZCYO9MxGlldhq5lhf44dqsrtY4q3wD89pozcNLUL37cqIkVvQYSW1+ayFmrPHs4DLKSA/HwnoHTi1CmRNNB03B7Qrmdpb3qCrz8ORnjnq0J8rzGJM9Wj2u8u8/SxbrgSsacT4w/mjRg8p5pK1eqROl4Rd4xtiHM8muKPNic/aFLpshTm1bU5MUDnQZDw== Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=kakadu.hafanana@gmail.com; spf=Pass smtp.mailfrom=kakadu.hafanana@gmail.com; spf=None smtp.helo=postmaster@mail-oi0-f47.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of kakadu.hafanana@gmail.com) identity=pra; client-ip=209.85.218.47; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="kakadu.hafanana@gmail.com"; x-sender="kakadu.hafanana@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of kakadu.hafanana@gmail.com designates 209.85.218.47 as permitted sender) identity=mailfrom; client-ip=209.85.218.47; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="kakadu.hafanana@gmail.com"; x-sender="kakadu.hafanana@gmail.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@mail-oi0-f47.google.com) identity=helo; client-ip=209.85.218.47; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="kakadu.hafanana@gmail.com"; x-sender="postmaster@mail-oi0-f47.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0ChAACvQXhXhi/aVdFbhRAGpi6HTo0rhzYHPBABAQEBAQEBAREBAQEICwsJIS+CMoIzER0BGx4DEhAPAiYCJAERAQUBIjWHcwEDF6JJggeBMT4xizuBaoJaBYYYChknDVKDdAIGEHGLLQGGB4JaAQSOdIofgTFwjCaBVIFci3qOSxIegQ81gVYBC1IEgVo5MohwAQEB X-IPAS-Result: A0ChAACvQXhXhi/aVdFbhRAGpi6HTo0rhzYHPBABAQEBAQEBAREBAQEICwsJIS+CMoIzER0BGx4DEhAPAiYCJAERAQUBIjWHcwEDF6JJggeBMT4xizuBaoJaBYYYChknDVKDdAIGEHGLLQGGB4JaAQSOdIofgTFwjCaBVIFci3qOSxIegQ81gVYBC1IEgVo5MohwAQEB X-IronPort-AV: E=Sophos;i="5.26,565,1459807200"; d="scan'208";a="183589899" Received: from mail-oi0-f47.google.com ([209.85.218.47]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 03 Jul 2016 00:38:17 +0200 Received: by mail-oi0-f47.google.com with SMTP id r2so154318995oih.2 for ; Sat, 02 Jul 2016 15:38:17 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:from:date:message-id:subject:to; bh=F/y7copJj1+1bHJF7viGNuvsB0XZvgHg564nNnGfFB0=; b=VelIGEHoN2DuczirCZCuAMDgzcCs5OFLtF8TgeMO8fzynUT1ww32DGUkvZGJXdl3c8 fwOuuD2kmQsaIx1DqtUrF6O7oww+jvWNL4qF7YZqJnB0MOXpdt9t1NIXU+Wt8bVVMxeo pmRr3fChK31LQG9nBpgh3DYWObyEckVBqcHXdRop8XmD8fvFnL50dd5Lv9+oYBc07maP ln62XLBwL56e6GHs9YjPa+cektCBM3xE7ju5pm40aIbUzEBo5huF/igk8YjoIKUNO4T5 f9wlA9XnQTVu84qLINSEqQB9YLClg0NxPyCbpWHpQY9ZPYgYo/gYuBh/xw0ZiMzeYzy7 rwaw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:mime-version:from:date:message-id:subject:to; bh=F/y7copJj1+1bHJF7viGNuvsB0XZvgHg564nNnGfFB0=; b=kx0FnRP22Iu4wqYxk3bqJPgA1qwRgirP5kk3HbqO3+PXcTt9hutoy6m69QxJOGUZL8 YFvpRDMs4ihS+TXgTlJ1yKbfw+hCZTzppwG7KjqWuOHKLIQQlPjM8xceZOMFPjBeusOZ nS2zqmK3blCLJCwCl+Hzq0a3XOdA5WHcS4EPbuCO9r6HLjU1zUJCJbsU6ACibu98q4R8 bNmmulj0cTV4V1Ns4td455D0X0KzSz5xye4QhTSJmEWJa1APUrGMlzKHaJIb18DIbNdT xVkdLnBZVgZrUdfBAivuNcS9juq1SSDGQ7awQlzxkR1zPPt2BeVEUrqtV2RvXjnIBy+w ZDUA== X-Gm-Message-State: ALyK8tL6fHvs/s57G8WE1AnSf9RLnU9zE4iN9wkT0EVMnEBx1SlWukrpLws5BHkwqt7SCcZGIAkPYahFbCo5Dg== X-Received: by 10.202.252.19 with SMTP id a19mr3081844oii.124.1467499095531; Sat, 02 Jul 2016 15:38:15 -0700 (PDT) MIME-Version: 1.0 Received: by 10.157.52.244 with HTTP; Sat, 2 Jul 2016 15:37:56 -0700 (PDT) From: Kakadu Date: Sun, 3 Jul 2016 01:37:56 +0300 Message-ID: To: Caml List Content-Type: text/plain; charset=UTF-8 Subject: [Caml-list] Automatic fixing of error messages Hey, folks Do you have any scripts or tricks to force you favorite editor to help you fixing compilation errors? Like: * Unused parameter ... => prepend a _ to the identifier binding) * `in` is missing => add it * Type for value x is bad => wrap x with function foo to make it right * variable is unbound => Add rec definition on line 123. * etc. Fixing all error seems to be non trivial task but for something like 'module Lsit is unbound => replace Lsit by List` it should be doable to add editor shortcut. Happy hacking, Kakadu