This is the mail archive of the
kawa@sourceware.org
mailing list for the Kawa project.
Single-value types
- From: Helmut Eller <eller dot helmut at gmail dot com>
- To: kawa at sourceware dot org
- Date: Wed, 29 Nov 2017 14:04:24 +0100
- Subject: Single-value types
- Authentication-results: sourceware.org; auth=none
In Common Lisp this expression
(let ((x (values 'a 'b))) x)
is allowed and should return 'a.
How should the CL front-end implement that?
There's a flag Declaration.IS_SINGLE_VALUE, but I don't understand how
that interacts with type inference or code generation.
I did a little experiment: introduce a subclass of SpecialObjectType
named SingleValueType. That should mostly be like java.lang.Object but
not compatible with gnu.mapping.Values. Values instances would require
special coercion code. Anyway, that experiment didn't go far.
So should I continue with the SingleValueType idea or is there a better
way to do it?
Helmut