From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail-ed1-x52e.google.com (mail-ed1-x52e.google.com [IPv6:2a00:1450:4864:20::52e]) by sourceware.org (Postfix) with ESMTPS id D4DA73858D20 for ; Thu, 16 Nov 2023 22:54:02 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org D4DA73858D20 Authentication-Results: sourceware.org; dmarc=pass (p=none dis=none) header.from=gmail.com Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=gmail.com ARC-Filter: OpenARC Filter v1.0.0 sourceware.org D4DA73858D20 Authentication-Results: server2.sourceware.org; arc=none smtp.remote-ip=2a00:1450:4864:20::52e ARC-Seal: i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1700175245; cv=none; b=COOwxiGQ4gR5nas7yrFzoWSbEKLnQb3P5aIhAmrMJhbHcVPM1zn0XRgoplVc+SfwaMatlaGZ25rhjlE/W39FlrtgN6fQXjDvlIUAhwRjW5wQ2xCPmcsfwqbbCeR5k29MzPQI9PiKPFrMo/TSI1sdBXGwwdb+e6dodnpX2gyc5jU= ARC-Message-Signature: i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1700175245; c=relaxed/simple; bh=JzmHNe2mqgGN1fV9jLyB/Qo9SqNJzk0O7klvPEQb2gU=; h=DKIM-Signature:MIME-Version:From:Date:Message-ID:Subject:To; b=Zkxc2tWhvfV6Oc1cXpMVUG0LeioFJhHaju0enHuJ9LK/A87mhxqOfDN+F0Mz6YE7tBSVIjoRTLfcFTem6V2cnRB3Wy+Gfxc18JYHSOR+5PLD+l/GAtkpnrsiDKRqbMMu7aL8EeD30NjeEG4cZAHyexKTvMoZRWQ2pXLXftJs9KM= ARC-Authentication-Results: i=1; server2.sourceware.org Received: by mail-ed1-x52e.google.com with SMTP id 4fb4d7f45d1cf-5409bc907edso1982822a12.0 for ; Thu, 16 Nov 2023 14:54:02 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1700175241; x=1700780041; darn=sourceware.org; h=to:subject:message-id:date:from:mime-version:from:to:cc:subject :date:message-id:reply-to; bh=cdflrvxr0mG0kyWFUIE8IG5C8PgLmA3wSdHYOvI9BP4=; b=KzJybsEk9z6IJoTDIz//YZj7y1XVvp1lGw3XDMYyrN86NkKS+U/kzmyTui3Eslw1wK dUfR1QR+tsNHDGJ7AwbcLI0AL4sKwlCfH2Skg2fHkTJexo4Bb+wYErjZaM7PPr/t8OmT sjNEgU0OZLwi7uOSd5nMOujXDfzxBp0TJ8vKbNH/gb0aAc5Bb8ftp8Y78NsLvOp10hei 3pBTGCJ95naFbzs4l2xFWU0l3vb2qnrCrtchuhBMF/tU6/efN5rBk0hSAF+9QsW8com+ uvlXOv2F4wr3V78s1aX+kmuaiscb8AK83dHPZ17abTBpxL2HEV9TACo270HS57SHb92K hdNg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1700175241; x=1700780041; h=to:subject:message-id:date:from:mime-version:x-gm-message-state :from:to:cc:subject:date:message-id:reply-to; bh=cdflrvxr0mG0kyWFUIE8IG5C8PgLmA3wSdHYOvI9BP4=; b=BUTMC4tvzhhnc9W9DD1+wRc3aO2R10qWQ+d7jDk4zrctpCSWmHmLRCJkabd+k2+Fme MJqLK8Z2BFvZXgPFUpLs/Ia1cYuufgQr37mf+hR5M9QY0lGEv0aQWh3jPGddO8f/eZms eg7h1nJaEfSyXigXXxh7xtNr0bJYUmhRaoLzd9mnRRB0grd36kmk3CLphgaAO15u4cj6 VThfV/OV5nNM2/OiMRIPM7PubojkZskxA7xDmkU//FauRRsH09YnD4Y/Trl4v+Cj9lNF 6p+eHCmwNlhCA7NeuJlTu+HUlD3tT97gRKr5jsohfCbhdhfpQm/XCRB8XBdUHD2Yeq3u DijA== X-Gm-Message-State: AOJu0Yy3aZlcTuLrExh1yW0mN4wWWMK34o1nGFNV/5sNjlv9w844qGYu O36HDZpikxY8r4ITcZgGMJHvmRc0ZEvFC2eQGAbvaSh0WwfuGQ== X-Google-Smtp-Source: AGHT+IEznna6idBzi4ThupebND8de56eLgklLjNPYbCbfM5hx120Ce9/I7IYaf8GQRaNPbeMPvvdtndhu8UON7VoS7c= X-Received: by 2002:aa7:d8d2:0:b0:53e:5957:aa4e with SMTP id k18-20020aa7d8d2000000b0053e5957aa4emr14050626eds.20.1700175241128; Thu, 16 Nov 2023 14:54:01 -0800 (PST) MIME-Version: 1.0 From: Damien Mattei Date: Thu, 16 Nov 2023 23:53:49 +0100 Message-ID: Subject: n arity with method To: kawa mailing list Content-Type: multipart/alternative; boundary="0000000000004dadd7060a4ce5a4" X-Spam-Status: No, score=-0.4 required=5.0 tests=BAYES_00,DKIM_SIGNED,DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,FREEMAIL_FROM,HTML_MESSAGE,RCVD_IN_DNSWL_NONE,SPF_HELO_NONE,SPF_PASS,TXREP,T_SCC_BODY_TEXT_LINE 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: --0000000000004dadd7060a4ce5a4 Content-Type: text/plain; charset="UTF-8" (import (rename (scheme base) (* orig*))) (define * (make-procedure method: (lambda (x ::number y ::number) (orig* x y)) method: (lambda (x ::matrix y ::matrix) (multiply-matrix-matrix x y)) method: (lambda (x ::matrix y ::vector) (multiply-matrix-vector x y)))) is there a way to still have * a n-arity operator with typed methods ? because now i have this error: (* 2 3 4) Argument (null) has wrong type at gnu.mapping.CallContext.matchError(CallContext.java:185) at gnu.expr.GenericProc.applyToConsumerGP(GenericProc.java:132) at gnu.kawa.functions.ApplyToArgs.applyToConsumerA2A(ApplyToArgs.java:132) at gnu.mapping.CallContext.runUntilDone(CallContext.java:586) at gnu.expr.ModuleExp.evalModule2(ModuleExp.java:343) at gnu.expr.ModuleExp.evalModule(ModuleExp.java:211) at kawa.Shell.run(Shell.java:289) at kawa.Shell.run(Shell.java:196) at kawa.Shell.run(Shell.java:183) at kawa.repl.processArgs(repl.java:724) at kawa.repl.main(repl.java:830) the problem is that * is no more n-arity operator now Damien anyway there is perheaps a possibility of using a variable number of args but i did not think it this evening.... perheaps tomorrow... --0000000000004dadd7060a4ce5a4--