[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
enumeration set case syntax
This page is part of the web mail archives of SRFI 113 from before July 7th, 2015. The new archives for SRFI 113 contain all messages, not just those from before July 7th, 2015.
- To: srfi-113@xxxxxxxxxxxxxxxxx
- Subject: enumeration set case syntax
- From: Kevin Wortman <kwortman@xxxxxxxxx>
- Date: Mon, 09 Dec 2013 22:57:14 -0800
- Delivered-to: srfi-113@xxxxxxxxxxxxxxxxx
- Dkim-signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=message-id:date:from:user-agent:mime-version:to:subject :content-type:content-transfer-encoding; bh=SpD0WIBJuKJdSQEabgXMkXkm/1rww44f2J868TEiICY=; b=LmLq1GvdL7hdVIBuf1OfjJ1IvGZoKUzLGrLnuZgIx0SGJY4Sqxl7TnIoIlKcWYwDuU myFa9UNPsQEdN0/VuFwUMa/1BNyfAQkeZrGJ9BLsiYl0McQSKLi8eQ5DzBu5fDmCH8JW TYEvDnuqBUSnETy5uthjCbI7KMRkLku8ecTIpEeYP99dDzazrtrdaDLL4vRwH14GZpr2 J9OOFC1l/w95ie0++tF2uI0rs4ci2bKBluZSPbTfpui990xFHMpiXYqm5DFtCWfDKEuK ZPmWx7oXmnhbWw92VQSJzLpBmNgVsBayQI9sbZ2KT6v1wsIl3AjkRSSb0TY03R5gkL+4 zBlg==
- User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:24.0) Gecko/20100101 Thunderbird/24.1.0
How about a syntax similar to case, that dispatches based on a member of
an enumeration set, with enumeration-specific error checking?
Specifically, an error would be signaled if the cases are not
exhaustive, or if any clause datum is not a member of the enumeration set.
Also:
(enum-set-min integer-set)
(enum-set-max integer-set)
should read
(enum-set-min enum-set)
(enum-set-max enum-set)
Kevin Wortman