From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mailtransmit04.runbox.com (mailtransmit04.runbox.com [IPv6:2a0c:5a00:149::25]) by sourceware.org (Postfix) with ESMTPS id C68493858D37 for ; Sat, 7 Oct 2023 15:35:17 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org C68493858D37 Authentication-Results: sourceware.org; dmarc=none (p=none dis=none) header.from=bothner.com Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=bothner.com Received: from mailtransmit02.runbox ([10.9.9.162] helo=aibo.runbox.com) by mailtransmit04.runbox.com with esmtps (TLS1.2) tls TLS_ECDHE_RSA_WITH_AES_128_GCM_SHA256 (Exim 4.93) (envelope-from ) id 1qp9Km-005vdH-2F; Sat, 07 Oct 2023 17:35:16 +0200 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=bothner.com ; s=selector1; h=Content-Transfer-Encoding:Content-Type:In-Reply-To:From: References:To:Subject:MIME-Version:Date:Message-ID; bh=QE3cdyC3RG/06Q0+BVruvye0FGO9OnDPvnnTguT0JMI=; b=DJlyV8lIBHeEZBm20CxrY+WJni QMBoipnLOh9q4EfbGYfkacIvXJbpKN0Bxi0qGk9v1HKnZVcWM2YCGb6GBJhVGlzQwYzCcnrpTID7d u9f46IqGNRmjxwFg761ImD5rQ1kmMC6oGoXkkh7g95bLX5WLteG97dpFsxU8gEoWH1JOrihFF0qRw z7i8vyEpGcm3fNKl43Qxg177NHVMBbjNcdnTCuzNQs3yeL+ESqPHMGYa2IwNRFwhAStMpQ8sqLDdp Bi+aiT9q5TD17Z/J9ipHK+LtaHoSZ4StDeyvPD4bvpuBx+6solKaVoQ3yEDTaz2evbxXZ9Kep8kwU S/wdwE6Q==; Received: from [10.9.9.73] (helo=submission02.runbox) by mailtransmit02.runbox with esmtp (Exim 4.86_2) (envelope-from ) id 1qp9Kl-0001ca-Kn; Sat, 07 Oct 2023 17:35:15 +0200 Received: by submission02.runbox with esmtpsa [Authenticated ID (524175)] (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) id 1qp9Ka-0002LM-Ni; Sat, 07 Oct 2023 17:35:04 +0200 Message-ID: <2dee812b-56a9-bba0-bb63-666f8866007b@bothner.com> Date: Sat, 7 Oct 2023 08:34:58 -0700 MIME-Version: 1.0 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:102.0) Gecko/20100101 Thunderbird/102.15.1 Subject: Re: unrecognized syntax: type[args] Content-Language: en-US To: Damien Mattei , kawa mailing list References: From: Per Bothner In-Reply-To: Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit X-Spam-Status: No, score=-4.2 required=5.0 tests=BAYES_00,DKIM_SIGNED,DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,NICE_REPLY_A,RCVD_IN_DNSWL_LOW,SPF_HELO_NONE,SPF_PASS,TXREP autolearn=ham autolearn_force=no version=3.4.6 X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on server2.sourceware.org List-Id: On 10/7/23 08:02, Damien Mattei via Kawa wrote: > #|.....19|# (for ((<+ k i2) (>= k i1) (<- k (+ k step))) > #|.....20|# (<- ($bracket-apply$ container-eval k) > ($bracket-apply$ expr-eval i)) > #|.....25|# (<- i (+ i 1))))) > /dev/tty:20:44: unrecognized syntax: type[args] > /dev/tty:24:44: unrecognized syntax: type[args] > > > what does it means? It is referring to the ($bracket-apply$ container-eval k) and ($bracket-apply$ expr-eval i) which are de-sugarings of container-eval[k] and expr-eval[i]. Specifically, container-eval and expr-eval are not valid known types. -- --Per Bothner per@bothner.com http://per.bothner.com/