From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp2.migadu.com ([2001:41d0:403:58f0::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms5.migadu.com with LMTPS id uGElLzEIG2ZnAgAAe85BDQ:P1 (envelope-from ) for ; Sun, 14 Apr 2024 00:33:22 +0200 Received: from aspmx1.migadu.com ([2001:41d0:403:58f0::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp2.migadu.com with LMTPS id uGElLzEIG2ZnAgAAe85BDQ (envelope-from ) for ; Sun, 14 Apr 2024 00:33:21 +0200 X-Envelope-To: patches@johnnyrichard.com Authentication-Results: aspmx1.migadu.com; dkim=pass header.d=lists.sr.ht header.s=20240113 header.b=EVMraX1x; dkim=pass header.d=johnnyrichard.com header.s=key1 header.b=hEtFrDcm; dmarc=pass (policy=quarantine) header.from=johnnyrichard.com; spf=pass (aspmx1.migadu.com: domain of lists@sr.ht designates 46.23.81.152 as permitted sender) smtp.mailfrom=lists@sr.ht ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=johnnyrichard.com; s=key1; t=1713047601; 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=PZ+UJ6Varpz6WeWTQ+IFoew1vmazuhJPYAW2B1sxY5Q=; b=aIEAS0WeijBB+N92lv/7yIhVep2nXHxjau41Ak9XAoRzMq7TjqFHBSNZ+8JkAC8Hz2Luvg uMAjZ+azO+55KNSSctmXbbX64eO1XSS4BbYsvqcEEvcLNjFKyKs4rn6tj0JLQjTyJdXUPp 1niF80SZ5LXh3oLzuROUJfTgbNGX+M3x8uzWJ93Q1ToDoKpFp5Ur528ia92uvcowEUjSbN zD3T94cxlj3fuU9LHBEwXExp1WwlHDxffc7q39ZlqGWblyNlQllgAdHs9yYDlVCDDTJCGg n5VVH8JrU4SXsJiOboPZkJGW7iRihLhPnnrGKzmLHAkp0EbGdrxo3VCrjlmbCQ== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=pass header.d=lists.sr.ht header.s=20240113 header.b=EVMraX1x; dkim=pass header.d=johnnyrichard.com header.s=key1 header.b=hEtFrDcm; dmarc=pass (policy=quarantine) header.from=johnnyrichard.com; spf=pass (aspmx1.migadu.com: domain of lists@sr.ht designates 46.23.81.152 as permitted sender) smtp.mailfrom=lists@sr.ht ARC-Seal: i=1; s=key1; d=johnnyrichard.com; t=1713047601; a=rsa-sha256; cv=none; b=JNAGtLURrruE5BlFAx2cGBJWPF83tIvTMKICqU5jDwJ2oQ/m/Bdm0gW0IQnI9QYjIHobnN MF0IqGbdKljFfnhALg8+REoq9Chy1J9yrwKR/SMOkAO1qdzs3LGTtPshlmFTTt8XkOln51 onTb6Nuqky3XCtzHJtJQH0J1XmcSF+YQE3z13ADsLY9sAopIuvc8pZ/KX3GG+a8tdBdnX3 lEXUL1kVufxF00POqZQhwG56pAoF1s2VbS/bCV8hea84nBXUOg8pbJ3OnodQu+ylCy/slA HKmXWQ6a5vIiWRG40mwCJDgX43EN47SdtCf5Xsj83tYYhsDEy5eJAdyTKMSKDw== 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 3CF0867E51 for ; Sun, 14 Apr 2024 00:33:18 +0200 (CEST) DKIM-Signature: a=rsa-sha256; bh=5TaZ1LaJMO0LC46r6b0SQaJuxf97wnz3tmvPpebtrsw=; 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=1713047597; v=1; b=EVMraX1xmIeGUeYU3eXJhmFeghpP3WfdjqFzdUz7u38vZWjSgJElRnHA2037aclcReHgTthp h/q9iWjpp9W7PaL2aul/ucbhRCaqKCnaxJiXzWUBovaYEsD3VP/PBbwxU3i35+nNPsR1/sZaAKs RrNJYgyZnt1kvMuHL6Xt78bagGX9upXU7D43PefN16YbI9u88gD8AkVnpN9PUtHkaL5QY3ixCvV NaH0oIQU0R7eWLqs7M+qZhV6ZgUvbNH5rsjX0h6nIw9rVtz+ZYIjHbJXjrQxGJM51ypDEbpWdAj qK1RqakcsUmI/eu7QeVzUlAzei//+dg4UEbKjYIBdElvQ== Received: from lists.sr.ht (unknown [IPv6:2a03:6000:1813:1337::154]) by mail-a.sr.ht (Postfix) with ESMTPSA id 9D8432032F for ; Sat, 13 Apr 2024 22:33:17 +0000 (UTC) Received: from out-173.mta0.migadu.com (out-173.mta0.migadu.com [91.218.175.173]) by mail-a.sr.ht (Postfix) with ESMTPS id C7DFD20277 for <~johnnyrichard/olang-devel@lists.sr.ht>; Sat, 13 Apr 2024 22:33:16 +0000 (UTC) Date: Sun, 14 Apr 2024 01:31:42 +0200 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=johnnyrichard.com; s=key1; t=1713047594; 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=PZ+UJ6Varpz6WeWTQ+IFoew1vmazuhJPYAW2B1sxY5Q=; b=hEtFrDcmAmV30vtZMqiPA4h9Bx9PoxswcLGPhR5ghAs0f0KPnjbsxCjlT4JHg6ZaSWRaLh 0GUKdLOsBjt/sZQgUhTVH8O+RbIqGcw1YaRgWo/rSeTCK+vybDhuGljxodoGXt8Dvls6ty xCpUJapMZ9DAx2KxqkLslBgzwDFTTWIBMEriqAzn/KkIOQabrrsysqCsWFDrvVuyQCQJq6 1ygy/cOVtvE1RzRBmoiCpZm2/j737XS1O1G3eZo5CrURZE3w7fEaOjcjEW0WxBBJhBQsex rCfq/y3n3ehsX2pGx1Qj11tetYx+EibY2N8UJsXSvmu1spLrjELD4loxiAe+Lw== 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: -9.15 X-Migadu-Scanner: mx11.migadu.com X-Spam-Score: -9.15 X-Migadu-Queue-Id: 3CF0867E51 X-TUID: oQdWv6S03K5e On Fri, Apr 12, 2024 at 11:51:51PM -0300, Carlos Maniero wrote: > > I loved it. Out of curiosity, we are going to have _boolean_ and _char_ > > I believe. Shouldn't they also be included on these primitive spec? > > I like it! We could discuss in the near feature if they are or not just > type alias for u8. But I also agree they must be built-in without the > need of any include. > > ::= 's8'| 's16'| 's32'| 's64'| 'u8'| > 'u16'| 'u32'| 'u64'| 'f32'| 'f64'| > 'char' | 'bool' > ::= | | | > ::= "true" | "false" > ::= "'" #'.' "'" Perhaps _char_ SHOULD have support to escaped chars like \r (carried return), \n (line feed)... Whenever you create the patch, don't forget it. > Are you comfortable with the above grammar? I am wondering if we should also define _void_ as a primitive.