From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp0.migadu.com ([2001:41d0:303:e224::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms5.migadu.com with LMTPS id oLjsDw+3HmbyVAEAqHPOHw:P1 (envelope-from ) for ; Tue, 16 Apr 2024 19:36:15 +0200 Received: from aspmx1.migadu.com ([2001:41d0:303:e224::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp0.migadu.com with LMTPS id oLjsDw+3HmbyVAEAqHPOHw (envelope-from ) for ; Tue, 16 Apr 2024 19:36:15 +0200 X-Envelope-To: patches@johnnyrichard.com Authentication-Results: aspmx1.migadu.com; dkim=pass header.d=lists.sr.ht header.s=20240113 header.b="E/IIl7t7"; dkim=pass header.d=johnnyrichard.com header.s=key1 header.b=HejCZ2B5; spf=pass (aspmx1.migadu.com: domain of lists@sr.ht designates 46.23.81.152 as permitted sender) smtp.mailfrom=lists@sr.ht; dmarc=pass (policy=quarantine) header.from=johnnyrichard.com ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=johnnyrichard.com; s=key1; t=1713288975; h=from:from:sender:sender:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:cc:mime-version:mime-version: content-type:content-type:in-reply-to:in-reply-to: references:references:list-id:list-unsubscribe:list-subscribe: list-post:dkim-signature; bh=bFu+il7HMynxF8ipqSHjLfIGd0QDd29fHK2vR5XxYr8=; b=4+kl31GucLQxPcGbK/p2ZTLfCJ8JunsQfexzUODQ1T8ivNOXgM2z0r+hisy+m8JUTgTSvm fznZhdmrVqkX2RSiSpqLZ9lVp1e31e/9g8wrmX0hy28edlKMtM5wWIKtEbk/+NP3Gg45d3 pSMSm4Sh1UpWTXqAFCzZ8qFzbZiIepb6mXXIFVkT7e6Ht8xiop79kBa6lkh1kLDxkU3f+N U+XrAMnEeukhqJKbiYNKmYecwi79ze0HAZ5y2xkjJ/tf+ErijsBvqeGzHR1aMjGkmuzROv 24O4VerC4pDfImq19cMCu3i//TcGOYqZX0rITikEH9RavY42+G+SKOXRbTuMbQ== ARC-Seal: i=1; s=key1; d=johnnyrichard.com; t=1713288975; a=rsa-sha256; cv=none; b=0f8P+j+nDV+OU/somYVMwoFCiOzOCxH4YErX9c6uVaJ+oiN+iNtcxYhFpkFPRy9SYD5QWs 4Se6BdPZtNay3cqRuT8Om4ge+sUWPQR9WL8bWw6swUD+uIACEo0iJHoXHlhBQ10x/GF8EN Tv4pBeIh6h5C97pFkOy4c/Okiv2/+m4urf8dXgJ5BN3jt1E5T/IbL62/eVzPIXQRscwnom I1pTbMiDWusfESoVGJBZIAGuAZ5hKVkHEilPWXb3v91s0roo+VEgkL4l4BXo3BBBs4RijF hkWnXyCa3wHTft1A9XFMhaZRaUuGtBHJncK47puSXTfeDGSMZK8wwyw4wnTSfQ== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=pass header.d=lists.sr.ht header.s=20240113 header.b="E/IIl7t7"; dkim=pass header.d=johnnyrichard.com header.s=key1 header.b=HejCZ2B5; spf=pass (aspmx1.migadu.com: domain of lists@sr.ht designates 46.23.81.152 as permitted sender) smtp.mailfrom=lists@sr.ht; dmarc=pass (policy=quarantine) header.from=johnnyrichard.com Received: from mail-a.sr.ht (mail-a.sr.ht [46.23.81.152]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (2048 bits) server-digest SHA256) (No client certificate requested) by aspmx1.migadu.com (Postfix) with ESMTPS id E303822CEF for ; Tue, 16 Apr 2024 19:36:14 +0200 (CEST) DKIM-Signature: a=rsa-sha256; bh=00KMKshF27ovhtcCSJJOBu4wzIRHjsBVIlyLlI0qzqo=; c=simple/simple; d=lists.sr.ht; h=Date:From:To:Cc:Subject:References:In-Reply-To:List-Unsubscribe:List-Subscribe:List-Archive:List-Post:List-ID; q=dns/txt; s=20240113; t=1713288974; v=1; b=E/IIl7t71nByoDXgSx5gdfXcbLGzT3oeOLqZXzcad1RKkUDFSZdoZs0HprShON5Qfqk32KX2 Px+FcNfQBuC226MQvUznytXnjh6QBVpM6FE70zqN9gG2QjSSH5nd3oBzYpCqI9xp2VW9mV4Ewtf 9UrJYY4EoPLg1HAc4rjr6CQs0e1Lkti4MiP4wrUchZucGFZjg+opUAFggfoQWUNdxC7bmr4qZLm hdBGoA++YYHz2VklI9y0cPaUvqsxQILv2537Zzp+DHjItHjwUC0y/s8PFE4fAEFzruD3fTOBO3U uMx/Aq7wPoKHsrWRxMl6JMqEZQ0MQxQJ2tDs7yl16bZYQ== Received: from lists.sr.ht (unknown [IPv6:2a03:6000:1813:1337::154]) by mail-a.sr.ht (Postfix) with ESMTPSA id BCEDE2015F for ; Tue, 16 Apr 2024 17:36:14 +0000 (UTC) Received: from out-174.mta0.migadu.com (out-174.mta0.migadu.com [IPv6:2001:41d0:1004:224b::ae]) by mail-a.sr.ht (Postfix) with ESMTPS id 199F72007D for <~johnnyrichard/olang-devel@lists.sr.ht>; Tue, 16 Apr 2024 17:36:14 +0000 (UTC) Date: Tue, 16 Apr 2024 20:34:13 +0200 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=johnnyrichard.com; s=key1; t=1713288973; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:cc:mime-version:mime-version:content-type:content-type: in-reply-to:in-reply-to:references:references; bh=bFu+il7HMynxF8ipqSHjLfIGd0QDd29fHK2vR5XxYr8=; b=HejCZ2B5t3hGhD9hYBmEKjRS/UqxeTrqS2DfnpANALhIsrKhkbHOH+3aqYD7OGyml/scpj GAy8We89pume5gZ7GaViXrwOwY3xCRgFiPAujf5r/14AtVjRggfxWvUNsWBqgLxPt8z77T VZ/yvcH5eZLVCfV1COP5dZvOixmlazWMATI+lB5R6xdS4VL4HH5mlSOx5k+LYZ6Dccd557 1n18W8dslOpnePhZd4eR0biQqrrCw62Cy4p4uq/HIahwjqNjgvrgN03G9C/bfxEcWZ2joi Q/X+gj/8y6vTHvOYHHrOMbORs2CblFR+TIvpqQUkKsoAO5mQ/JPyy1vxmXgZsQ== X-Report-Abuse: Please report any abuse attempt to abuse@migadu.com and include these headers. From: Johnny Richard To: Carlos Maniero Cc: ~johnnyrichard/olang-devel@lists.sr.ht Subject: Re: [RFC SPEC] Primitive data types and arrays Message-ID: References: MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: List-Unsubscribe: List-Subscribe: List-Archive: Archived-At: List-Post: List-ID: ~johnnyrichard/olang-devel <~johnnyrichard/olang-devel.lists.sr.ht> Sender: ~johnnyrichard/olang-devel <~johnnyrichard/olang-devel@lists.sr.ht> X-Migadu-Flow: FLOW_IN X-Migadu-Country: NL X-Migadu-Spam-Score: -7.27 X-Spam-Score: -7.27 X-Migadu-Queue-Id: E303822CEF X-Migadu-Scanner: mx12.migadu.com X-TUID: Q93yBpyjXB98 On Tue, Apr 16, 2024 at 12:40:50AM -0300, Carlos Maniero wrote: > > I am wondering if we should also define _void_ as a primitive. > > I think so. Do you like the name *void*? I don't like that much by I > can't think in any alternative. Let's go with _void_. We are on very early development stage, everything can change anytime. And _void_ is kind of very well known keyword.