You do not have permission to delete messages in this group
Copy link
Report message
Sign in to report message
Show original message
Either email addresses are anonymous for this group or you need the view member email addresses permission to view the original message
to
I know there's no standard way in CL to find a type definition given a type,
but does each implementation have one?
For example if I evaluate
(deftype foo (x)
`(and string (satisfies ,x))
Can I find out that (foo bar) type-expands to (and string (satisfies bar)) ?
I'm using SBCL so having a way to do this in SBCL would be a big first step.
Jocelyn Fréchot
unread,
Dec 6, 2016, 12:49:17 PM12/6/16
Delete
You do not have permission to delete messages in this group
Copy link
Report message
Sign in to report message
Show original message
Either email addresses are anonymous for this group or you need the view member email addresses permission to view the original message
to
On 06/12/2016 18:28, Jim Newton wrote:
> For example if I evaluate
>
> (deftype foo (x)
> `(and string (satisfies ,x))
>
> Can I find out that (foo bar) type-expands to (and string (satisfies bar)) ?
SB-EXT:TYPEXPAND and friends seems to be a good start point:
(typexpand '(foo bar))
=> (AND STRING (SATISFIES BAR))
=> T
--
Jocelyn Fréchot
Marco Antoniotti
unread,
Dec 6, 2016, 4:44:32 PM12/6/16
Delete
You do not have permission to delete messages in this group
Copy link
Report message
Sign in to report message
Show original message
Either email addresses are anonymous for this group or you need the view member email addresses permission to view the original message