XMATCH

Open m2ym opened this issue 13 years ago • 4 comments

Apr 16 '12 14:04 m2ym

We need to consider the following case:

(defstruct btree)
(defstruct (leaf (:include btree))
  value)
(defstruct (node (:include btree))
  left right)
(xmatch (the btree (make-node :left (make-leaf :value 1)
                              :right (make-leaf :value 2)))
  ...)

The problem is that we can't determine the lower bounds of btree should included or excluded. Maybe we will need some extension of type specifier.

Apr 21 '12 07:04 m2ym

We don't need to care about algebraic data types on optima side. Just derive a variant type on the definition side.

Apr 25 '12 13:04 m2ym

MULTIPLE-VALUE-XMATCH

May 06 '12 22:05 m2ym

Wontfix

Oct 08 '12 00:10 m2ym