From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.ciao.gmane.io!not-for-mail From: sirgazil Newsgroups: gmane.lisp.guile.user Subject: Re: Geiser vs. guile-mode? Date: Thu, 20 Feb 2020 09:24:16 -0500 Message-ID: <17062fc23de.1018aff9f2171.7728684452987111137@zoho.com> References: <87eevamlds.fsf@ambrevar.xyz> <897B58B1-A727-4224-938E-5F7D826DA963@korwin-zmijowski.fr> <87a75yl2zx.fsf@ambrevar.xyz> <87d0aqfqwg.fsf@ambrevar.xyz> <2EBAB5D5-D677-4F95-B253-41DFA9016009@korwin-zmijowski.fr> <03362389-6170-a57b-9cd1-380be34b5697@gmail.com> <17020c6ae18.bf06ef5b71547.6717873688020963681@zoho.com> <1705ab86de0.124b9a35210423.8624681576554917312@zoho.com> <87pneall19.fsf@elephly.net> Mime-Version: 1.0 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Injection-Info: ciao.gmane.io; posting-host="ciao.gmane.io:159.69.161.202"; logging-data="19282"; mail-complaints-to="usenet@ciao.gmane.io" User-Agent: Zoho Mail Cc: "Matt Wette" , "guile-user" To: "Ricardo Wurmus" Original-X-From: guile-user-bounces+guile-user=m.gmane-mx.org@gnu.org Thu Feb 20 15:24:48 2020 Return-path: Envelope-to: guile-user@m.gmane-mx.org Original-Received: from lists.gnu.org ([209.51.188.17]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1j4mky-0004u6-96 for guile-user@m.gmane-mx.org; Thu, 20 Feb 2020 15:24:48 +0100 Original-Received: from localhost ([::1]:43328 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1j4mkx-0004gp-76 for guile-user@m.gmane-mx.org; Thu, 20 Feb 2020 09:24:47 -0500 Original-Received: from eggs.gnu.org ([2001:470:142:3::10]:40430) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1j4mke-0004SY-So for guile-user@gnu.org; Thu, 20 Feb 2020 09:24:29 -0500 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1j4mkc-0007FF-Q9 for guile-user@gnu.org; Thu, 20 Feb 2020 09:24:28 -0500 Original-Received: from sender4-pp-o91.zoho.com ([136.143.188.91]:25149) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1j4mkc-0007EL-K2 for guile-user@gnu.org; Thu, 20 Feb 2020 09:24:26 -0500 ARC-Seal: i=1; a=rsa-sha256; t=1582208663; cv=none; d=zohomail.com; s=zohoarc; b=GH6Is99TiHJFLr7SJtbRcy9bwbWVjvSsgsZLMmzt5jiqsjlXiMDPXoJfuxUwgO3jyZeJyIVlSVGjMQDu/O6K9I3I/UgVpmX1iqmybyUD6rEvFxmYc6x26KtasHHT14jsVnJkT5MudMQOsx5ZESBev3adQQvKyq4a5R+T/rM5iMQ= ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=zohomail.com; s=zohoarc; t=1582208663; h=Content-Type:Content-Transfer-Encoding:Cc:Date:From:In-Reply-To:MIME-Version:Message-ID:References:Subject:To; bh=9bhI51JyOj1koIJthrgzc+saWEkPC9pg+0pLVIIM87I=; b=nn52cH/bufOx2HGeTcRETpjFosz3tHEqgNN7HYxmj8z+PSLrTC5DdCGE+wfx5cGX5C3+FO3KGXjR5BAy6fByPcLket3hIKaOTRioh2j1hb0CgLcWZVjsSTI3QXBeaZwU4jGLMv8D6VMuym3SzXHb8LS62jb2PEaR4Six/ieLPPY= ARC-Authentication-Results: i=1; mx.zohomail.com; dkim=pass header.i=zoho.com; spf=pass smtp.mailfrom=sirgazil@zoho.com; dmarc=pass header.from= header.from= DomainKey-Signature: a=rsa-sha1; q=dns; c=nofws; s=zapps768; d=zoho.com; h=date:from:to:cc:message-id:in-reply-to:references:subject:mime-version:content-type:user-agent; b=Jv2pftVvbIpygAn9I/i49MwT+VrPjzVp57qXCY0IeDmEHSQAHJZdFmyssN5c0ko9WR4oKwKi38pq 0Lb3F5lwWWRDer5qe898m7de36I5twR3hTi8fMVB8aS7RYDjAwq4 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; t=1582208663; s=zm2020; d=zoho.com; i=sirgazil@zoho.com; h=Date:From:To:Cc:Message-ID:In-Reply-To:References:Subject:MIME-Version:Content-Type:Content-Transfer-Encoding; bh=9bhI51JyOj1koIJthrgzc+saWEkPC9pg+0pLVIIM87I=; b=QS1TmEpYpzrjUjAlwR59Y5axN9qP8LJYWpS7VsmDYQWJ/6y3+Mn1Fql4dE/vmEwa 45ZrQ+O0/EqCPlXAKscsj6vGfnAHExqPCcaPp0JM2eH8K1vdCgTfWy59pihtAAt1+3e oY2Rk1LeeO07YWJunhjxIZX4uPkdFkqlxnD41n8g= Original-Received: from mail.zoho.com by mx.zohomail.com with SMTP id 1582208656352585.7697881147974; Thu, 20 Feb 2020 06:24:16 -0800 (PST) Original-Received: from [179.15.13.185] by mail.zoho.com with HTTP;Thu, 20 Feb 2020 06:24:16 -0800 (PST) In-Reply-To: <87pneall19.fsf@elephly.net> Importance: Medium X-Mailer: Zoho Mail X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] [fuzzy] X-Received-From: 136.143.188.91 X-BeenThere: guile-user@gnu.org X-Mailman-Version: 2.1.23 Precedence: list List-Id: General Guile related discussions List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guile-user-bounces+guile-user=m.gmane-mx.org@gnu.org Original-Sender: "guile-user" Xref: news.gmane.io gmane.lisp.guile.user:16217 Archived-At: ---- On Wed, 19 Feb 2020 09:16:34 -0500 Ricardo Wurmus wrote ---- >=20 > sirgazil writes: >=20 > > I also find some fundamental things missing when programming in Guile = Scheme (with Emacs+Geiser): > > > > 1. On-the-fly syntax checking (see flycheck) >=20 > This is available by default in =E2=80=9CGuile Studio=E2=80=9D[1]. It w= orks by compiling > the buffer: >=20 > --8<---------------cut here---------------start------------->8--- > (require 'flycheck) > (flycheck-define-checker guile > "A Guile syntax checker with `guild compile'." > :command ("guild" "compile" "--to=3Dcps" > "--warn=3Dunused-variable" > "--warn=3Dunused-toplevel" > "--warn=3Dunbound-variable" > "--warn=3Dmacro-use-before-definition= " > "--warn=3Darity-mismatch" > "--warn=3Dduplicate-case-datum" > "--warn=3Dbad-case-datum" > "--warn=3Dformat" > source) > :predicate > (lambda () > (and (boundp 'geiser-impl--implementation) > (eq geiser-impl--implementation 'guile))= ) > :verify > (lambda (checker) > (let ((geiser-impl (bound-and-true-p geiser-i= mpl--implementation))) > (list > (flycheck-verification-result-new > :label "Geiser Implementation" > :message (cond > ((eq geiser-impl 'guile) "Guile= ") > (geiser-impl (format "Other: %s= " geiser-impl)) > (t "Geiser not active")) > :face (cond > ((or (eq geiser-impl 'guile)) 'suc= cess) > (t '(bold error))))))) > :error-patterns > ((warning > line-start (file-name) ":" line ":" column ":= warning:" (message) line-end) > (error > line-start (file-name) ":" line ":" column ":= " (message) line-end)) > :modes (scheme-mode geiser-mode)) > (add-to-list 'flycheck-checkers 'guile) > (global-flycheck-mode 1) > --8<---------------cut here---------------end--------------->8--- Thanks, Ricardo :) Any reason why this checker is not integrated into Flycheck? Currently, the= only supported Scheme in Flycheck is Chikken...