[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH] add language/wisp to Guile?
From: |
Matt Wette |
Subject: |
Re: [PATCH] add language/wisp to Guile? |
Date: |
Fri, 24 Feb 2023 16:15:22 -0800 |
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:102.0) Gecko/20100101 Thunderbird/102.7.1 |
On 2/24/23 3:51 PM, Maxime Devos wrote:
On 25-02-2023 00:48, Maxime Devos wrote:
(**) For compatibility with Racket, it's not like we couldn't
implement both "#lang" and "-*- stuff: language -*-".
TBC, I mean ‘only support #lang' for values of 'lang' that Racket
supports’, or alternatively ‘support #lang for compatibility, but
recommend -*- ... -*- in the Guile manual.’.
The point of this is to tell the compiler what language it needs to parse,
if not the default (Scheme). Using `#lang pascal' or `#!lang pascal'
allows
the compiler to figure this out in the first few characters read. Using
`-*- lang: pascal -*-' might require the compiler to read a lot of text
(not knowing
if what text is comment or not) to determine if language has been
specified.
For the `-*-' based design, is there a maximum number of characters to be
read before deciding?
Matt
- Re: [PATCH] add language/wisp to Guile?, (continued)
- Re: [PATCH] add language/wisp to Guile?, Maxime Devos, 2023/02/14
- Re: [PATCH] add language/wisp to Guile?, Matt Wette, 2023/02/14
- Re: [PATCH] add language/wisp to Guile?, Dr. Arne Babenhauserheide, 2023/02/16
- Re: [PATCH] add language/wisp to Guile?, Matt Wette, 2023/02/16
- Re: [PATCH] add language/wisp to Guile?, Ludovic Courtès, 2023/02/23
- Re: [PATCH] add language/wisp to Guile?, Maxime Devos, 2023/02/23
- Re: [PATCH] add language/wisp to Guile?, Ludovic Courtès, 2023/02/24
- Re: [PATCH] add language/wisp to Guile?, Dr. Arne Babenhauserheide, 2023/02/24
- Re: [PATCH] add language/wisp to Guile?, Maxime Devos, 2023/02/24
- Re: [PATCH] add language/wisp to Guile?, Maxime Devos, 2023/02/24
- Re: [PATCH] add language/wisp to Guile?,
Matt Wette <=
- Re: [PATCH] add language/wisp to Guile?, Maxime Devos, 2023/02/25
- Re: [PATCH] add language/wisp to Guile?, Dr. Arne Babenhauserheide, 2023/02/23
- Re: [PATCH] add language/wisp to Guile?, Maxime Devos, 2023/02/17
- Re: [PATCH] add language/wisp to Guile?, Philip McGrath, 2023/02/18
- Re: [PATCH] add language/wisp to Guile?, Maxime Devos, 2023/02/18
- Re: [PATCH] add language/wisp to Guile?, Matt Wette, 2023/02/18
- Re: [PATCH] add language/wisp to Guile?, Dr. Arne Babenhauserheide, 2023/02/21
- Re: [PATCH] add language/wisp to Guile?, Philip McGrath, 2023/02/26
- Re: [PATCH] add language/wisp to Guile?, Maxime Devos, 2023/02/26
- Re: [PATCH] add language/wisp to Guile?, Dr. Arne Babenhauserheide, 2023/02/26