notzmv has quit [Remote host closed the connection]
Ruby has joined #commonlisp
rkazak has quit [Ping timeout: 265 seconds]
triffid has quit [Remote host closed the connection]
rkazak has joined #commonlisp
dtman34 has quit [Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in]
leeb_ has joined #commonlisp
leeb has quit [Ping timeout: 272 seconds]
rkazak has quit [Ping timeout: 248 seconds]
random-nick has quit [Ping timeout: 272 seconds]
jeffrey has joined #commonlisp
dtman34 has joined #commonlisp
jeffrey has quit [Ping timeout: 260 seconds]
dtman34 has quit [Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in]
dtman34 has joined #commonlisp
triffid has joined #commonlisp
rkazak has joined #commonlisp
rkazak has quit [Ping timeout: 245 seconds]
dtman34 has quit [Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in]
dtman34 has joined #commonlisp
dtman34 has quit [Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in]
dtman34 has joined #commonlisp
rkazak has joined #commonlisp
bpanthi977 has joined #commonlisp
rkazak has quit [Ping timeout: 260 seconds]
dtman34 has quit [Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in]
dtman34 has joined #commonlisp
dtman34 has quit [Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in]
dtman34 has joined #commonlisp
King_julian has quit [Ping timeout: 252 seconds]
dtman34 has quit [Client Quit]
rkazak has joined #commonlisp
decweb has quit [Quit: Konversation terminated!]
King_julian has joined #commonlisp
rkazak has quit [Ping timeout: 252 seconds]
fosskers has joined #commonlisp
rkazak has joined #commonlisp
dtman34 has joined #commonlisp
dtman34 has quit [Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in]
rkazak has quit [Ping timeout: 276 seconds]
dtman34 has joined #commonlisp
dtman34 has quit [Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in]
dtman34 has joined #commonlisp
dtman34 has quit [Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in]
Lord_of_Life has quit [Ping timeout: 265 seconds]
dtman34 has joined #commonlisp
Lord_of_Life has joined #commonlisp
rkazak has joined #commonlisp
dtman34 has quit [Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in]
dtman34 has joined #commonlisp
rkazak has quit [Ping timeout: 260 seconds]
dtman34 has quit [Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in]
ndanilov has quit [Remote host closed the connection]
ndanilov has joined #commonlisp
fosskers has quit [Remote host closed the connection]
ndanilov_ has joined #commonlisp
ndanilov has quit [Ping timeout: 276 seconds]
rkazak has joined #commonlisp
dtman34 has joined #commonlisp
rkazak has quit [Ping timeout: 276 seconds]
dtman34 has quit [Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in]
dtman34 has joined #commonlisp
dtman34 has quit [Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in]
dtman34 has joined #commonlisp
rkazak has joined #commonlisp
bpanthi977 has quit [Ping timeout: 260 seconds]
rkazak has quit [Ping timeout: 252 seconds]
edgar-rft has joined #commonlisp
edgar-rft` has quit [Ping timeout: 276 seconds]
rkazak has joined #commonlisp
pranav has joined #commonlisp
nytpu has quit [Ping timeout: 260 seconds]
rkazak has quit [Ping timeout: 260 seconds]
nytpu has joined #commonlisp
ingeniot has joined #commonlisp
pve has joined #commonlisp
rgherdt has joined #commonlisp
rkazak has joined #commonlisp
attila_lendvai has joined #commonlisp
ingeniot has quit [Ping timeout: 248 seconds]
toadlicker has quit [Remote host closed the connection]
rkazak has quit [Ping timeout: 252 seconds]
dtman34 has quit [Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in]
dtman34 has joined #commonlisp
dtman34 has quit [Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in]
mgl has joined #commonlisp
sammat has joined #commonlisp
rkazak has joined #commonlisp
rnfn has joined #commonlisp
rnfn has quit [Changing host]
rnfn has joined #commonlisp
rkazak has quit [Ping timeout: 252 seconds]
bpanthi978 has joined #commonlisp
bpanthi978 has quit [Ping timeout: 276 seconds]
dtman34 has joined #commonlisp
toadlicker has joined #commonlisp
rkazak has joined #commonlisp
rkazak has quit [Ping timeout: 248 seconds]
attila_lendvai has quit [Ping timeout: 244 seconds]
dtman34 has quit [Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in]
toadlicker has quit [Remote host closed the connection]
dtman34 has joined #commonlisp
rkazak has joined #commonlisp
toadlicker has joined #commonlisp
dtman34 has quit [Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in]
rkazak has quit [Ping timeout: 276 seconds]
dtman34 has joined #commonlisp
rkazak has joined #commonlisp
phantomics_ has joined #commonlisp
phantomics has quit [Ping timeout: 260 seconds]
zwr has quit [Ping timeout: 252 seconds]
rkazak has quit [Ping timeout: 272 seconds]
rnfn has quit [Ping timeout: 268 seconds]
rkazak has joined #commonlisp
rkazak has quit [Ping timeout: 276 seconds]
parjanya has quit [Remote host closed the connection]
dtman34 has quit [Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in]
rkazak has joined #commonlisp
zwr has joined #commonlisp
rkazak has quit [Ping timeout: 260 seconds]
akoana has joined #commonlisp
dtman34 has joined #commonlisp
pranav has quit [Read error: Connection reset by peer]
wbooze has quit [Ping timeout: 252 seconds]
dtman34 has quit [Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in]
random-nick has joined #commonlisp
rnfn has joined #commonlisp
rkazak has joined #commonlisp
rkazak has quit [Ping timeout: 260 seconds]
akoana has quit [Ping timeout: 245 seconds]
rnfn has quit [Ping timeout: 248 seconds]
dtman34 has joined #commonlisp
lcn_ has joined #commonlisp
treflip has joined #commonlisp
lcn_ has quit [Client Quit]
lcn_ has joined #commonlisp
rkazak has joined #commonlisp
lcn_ has quit [Client Quit]
lcn_ has joined #commonlisp
inline has joined #commonlisp
rkazak has quit [Ping timeout: 260 seconds]
bigbookofbug has joined #commonlisp
dtman34 has quit [Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in]
treflip has quit [Remote host closed the connection]
rkazak has joined #commonlisp
bigbookofbug has quit [Read error: Connection reset by peer]
decweb has joined #commonlisp
thollief has joined #commonlisp
rkazak has quit [Ping timeout: 252 seconds]
admich1 has joined #commonlisp
rendar has quit [Ping timeout: 245 seconds]
dtman34 has joined #commonlisp
notzmv has joined #commonlisp
dtman34 has quit [Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in]
rkazak has joined #commonlisp
ewig has joined #commonlisp
admich1 has quit [Ping timeout: 276 seconds]
mgl has quit [Ping timeout: 252 seconds]
dtman34 has joined #commonlisp
dtman34 has quit [Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in]
rkazak has quit [Ping timeout: 248 seconds]
bpanthi977 has joined #commonlisp
bpanthi977 has quit [Ping timeout: 260 seconds]
mgl has joined #commonlisp
rkazak has joined #commonlisp
rkazak has quit [Ping timeout: 260 seconds]
zwr has quit [Read error: Connection reset by peer]
rkazak has joined #commonlisp
<jackdaniel>
set-difference should accept two sets of :key/:test arguments for each list
zwr has joined #commonlisp
dtman34 has joined #commonlisp
bpanthi977 has joined #commonlisp
bpanthi977 has quit [Ping timeout: 248 seconds]
attila_lendvai has joined #commonlisp
NotThatRpg has joined #commonlisp
admich1 has joined #commonlisp
rkazak has quit [Ping timeout: 265 seconds]
attila_lendvai has quit [Read error: Connection reset by peer]
attila_lendvai has joined #commonlisp
dtman34 has quit [Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in]
dtman34 has joined #commonlisp
<beach>
You don't need two :TEST arguments.
bpanthi977 has joined #commonlisp
<beach>
And you can achieve the same effect by integrating the key functions into the test function. But, sure, a second :KEY would be handy.
<jackdaniel>
right, second test function doesn't make sense
<jackdaniel>
s/second/the second/
attila_lendvai has quit [Read error: Connection reset by peer]
attila_lendvai has joined #commonlisp
bpanthi977 has quit [Ping timeout: 276 seconds]
dtman34 has quit [Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in]
NotThatRpg has quit [Ping timeout: 260 seconds]
jonatack has joined #commonlisp
admich1 has quit [Ping timeout: 252 seconds]
dtman34 has joined #commonlisp
bpanthi977 has joined #commonlisp
szkl has joined #commonlisp
stirl has joined #commonlisp
dtman34 has quit [Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in]
bpanthi977 has quit [Ping timeout: 260 seconds]
dtman34 has joined #commonlisp
bpanthi977 has joined #commonlisp
rkazak has joined #commonlisp
dtman34 has quit [Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in]
dtman34 has joined #commonlisp
dtman34 has quit [Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in]
dtman34 has joined #commonlisp
admich1 has joined #commonlisp
treflip has joined #commonlisp
rkazak has quit [Ping timeout: 276 seconds]
NotThatRpg has joined #commonlisp
<NotThatRpg>
Anyone know who's running the `lisp-mirror` group on GitHub? I'm wondering if I need to do anything to make the ITERATE repo continue to be mirrored.
ewig has quit [Ping timeout: 272 seconds]
akoana has joined #commonlisp
attila_lendvai has quit [Read error: Connection reset by peer]
RavenJoad has joined #commonlisp
<RavenJoad>
I want to attach a class where I want to set its slot to have a type of another class. I mean (defclass ... (slot :type other-class)). I'm probably just missing something obvious. My goal is to have a list of allowed classes as the type of the slot.
<RavenJoad>
I have the whole deftype thing figured out already and am using it in other places, but those other deftypes only match against symbols or built-in classes/types.
<jackdaniel>
what doesn't work?
ewig has joined #commonlisp
<jackdaniel>
and how it doesn't work
rkazak has joined #commonlisp
<RavenJoad>
Oh. It might be simpler than I thought. My predicate function used by the deftype wasn't behaving. Obviously a class instance is not a member of a symbol.
phil has joined #commonlisp
phil has quit [Remote host closed the connection]
treflip` has joined #commonlisp
rnfn has joined #commonlisp
rnfn has quit [Changing host]
rnfn has joined #commonlisp
treflip has quit [Ping timeout: 260 seconds]
rkazak has quit [Ping timeout: 260 seconds]
zxcvz has joined #commonlisp
dtman34 has quit [Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in]
dtman34 has joined #commonlisp
<jackdaniel>
if your type is a set of classes, then you may also define it as (or class-1 class-2 ,@etc)
admich1 has quit [Ping timeout: 252 seconds]
admich1 has joined #commonlisp
zxcvz has quit [Quit: zxcvz]
dtman34 has quit [Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in]
dtman34 has joined #commonlisp
<RavenJoad>
Technically the type needs to be a list of a set of classes, but turning that set check into an every is easy.
NotThatRpg has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
dtman34 has quit [Client Quit]
rkazak has joined #commonlisp
<RavenJoad>
My current type is `(satisfies list-of-classes-p), where that predicate is (and (listp cs) (every (lambda (c) (member c allowed-classes)) cs))
stirl has quit [Ping timeout: 248 seconds]
<jackdaniel>
it is worth noting that the implementation is not obligued to check the type of the passed argument that initializes the slot
<jackdaniel>
some do that by default, some require high safety settings
treflip` has quit [Read error: Connection reset by peer]
<jackdaniel>
to be fully covered (check-type wise) on the class initialization level, you'd probably need to have a custom metaclass for the class and for type-checked slots
rkazak has quit [Ping timeout: 245 seconds]
<RavenJoad>
Yep! I have a TODO about switching to my own metaclass for these classes. SBCL has a relatively solid set of safety settings and catches this at my default settings (or it might be my sbclrc). Either way, I want to get this deftype down.
<RavenJoad>
I just don't know how to define the list/set of permitted classes in the allowed-classes parameter/var to make this pass. (defparam allowed-classes (list 'class-1)) does not work and doing (list class-1) leads to class-1 being seen as a variable and being unbound.
bigbookofbug has joined #commonlisp
phil_bb has joined #commonlisp
bigbookofbug has quit [Read error: Connection reset by peer]
dtman34 has joined #commonlisp
NotThatRpg has joined #commonlisp
bigbookofbug has joined #commonlisp
pranav has joined #commonlisp
admich1 has quit [Ping timeout: 248 seconds]
admich1 has joined #commonlisp
dtman34 has quit [Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in]
bigbookofbug has quit [Read error: Connection reset by peer]
stirl has joined #commonlisp
NotThatRpg has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
rkazak has joined #commonlisp
awlygj has quit [Ping timeout: 244 seconds]
awlygj has joined #commonlisp
chkhd has joined #commonlisp
CrashTestDummy has joined #commonlisp
chkhd has quit [Client Quit]
CrashTestDummy has quit [Quit: Leaving]
rkazak has quit [Ping timeout: 260 seconds]
admich1 has quit [Ping timeout: 260 seconds]
dtman34 has joined #commonlisp
jonatack has quit [Ping timeout: 244 seconds]
<jackdaniel>
(list (find-claa 'c1))
<jackdaniel>
RavenJoad: ^
zwr has quit [Ping timeout: 252 seconds]
zwr has joined #commonlisp
NotThatRpg has joined #commonlisp
Luvveous has joined #commonlisp
<jackdaniel>
class*
rkazak has joined #commonlisp
jonatack has joined #commonlisp
rnfn has quit [Quit: rnfn]
dtman34 has quit [Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in]
jonatack has quit [Ping timeout: 260 seconds]
rkazak has quit [Ping timeout: 276 seconds]
RavenJoad has quit [Read error: Connection reset by peer]
stirl has quit [Ping timeout: 260 seconds]
robin has quit [Remote host closed the connection]
RavenJoad has joined #commonlisp
<RavenJoad>
jackdaniel: Thanks! I think that's what I was missing.
robin has joined #commonlisp
<jackdaniel>
sure
dtman34 has joined #commonlisp
matt` has joined #commonlisp
admich1 has joined #commonlisp
rkazak has joined #commonlisp
matt`` has joined #commonlisp
dtman34 has quit [Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in]
phil_bb has quit [Read error: Connection reset by peer]
dtman34 has joined #commonlisp
phil_bb has joined #commonlisp
matt`` has left #commonlisp [ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.1)]
matt` has left #commonlisp [ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.1)]
lusciouslover has quit [Quit: \]
phil_bb has quit [Read error: Connection reset by peer]
rkazak has quit [Ping timeout: 272 seconds]
lusciouslover has joined #commonlisp
phil_bb has joined #commonlisp
ewig has quit [Remote host closed the connection]
lcn_ has quit [Remote host closed the connection]
lcn_ has joined #commonlisp
matt``` has joined #commonlisp
dtman34 has quit [Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in]
dtman34 has joined #commonlisp
rkazak has joined #commonlisp
dtman34 has quit [Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in]
akoana has quit [Ping timeout: 252 seconds]
dtman34 has joined #commonlisp
admich1 has quit [Ping timeout: 248 seconds]
phil_bb has quit [Ping timeout: 260 seconds]
phil_bb has joined #commonlisp
rkazak has quit [Ping timeout: 244 seconds]
admich1 has joined #commonlisp
notzmv has quit [Ping timeout: 260 seconds]
random-nick has quit [Ping timeout: 252 seconds]
wacki has joined #commonlisp
<RavenJoad>
I needed a class-of on the element to get its class, but I figured that out. I can define classes and get the type checking safety that I want. Thanks again jackdaniel!
random-nick has joined #commonlisp
rkazak has joined #commonlisp
stirl has joined #commonlisp
matt``` has quit [Remote host closed the connection]
sammat has quit [Remote host closed the connection]
sammat has joined #commonlisp
rkazak has quit [Ping timeout: 276 seconds]
nytpu has quit [Remote host closed the connection]
nytpu has joined #commonlisp
thollief has quit [Quit: Leaving]
lcn_ has quit [Remote host closed the connection]
lcn_ has joined #commonlisp
Luvveous has quit [Quit: Going offline, see ya! (www.adiirc.com)]
calx-87 has quit [Ping timeout: 252 seconds]
rkazak has joined #commonlisp
stirl has quit [Ping timeout: 276 seconds]
mgl has quit [Ping timeout: 268 seconds]
parjanya has joined #commonlisp
dtman34 has quit [Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in]
dtman34 has joined #commonlisp
stirl has joined #commonlisp
wacki has quit [Quit: Leaving.]
rkazak has quit [Ping timeout: 272 seconds]
dtman34 has quit [Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in]
dtman34 has joined #commonlisp
dra has joined #commonlisp
dra has quit [Changing host]
dra has joined #commonlisp
dtman34 has quit [Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in]
NotThatRpg has quit [Ping timeout: 276 seconds]
dtman34 has joined #commonlisp
jonatack has joined #commonlisp
jonatack has quit [Ping timeout: 268 seconds]
rkazak has joined #commonlisp
dtman34 has quit [Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in]
dtman34 has joined #commonlisp
stirl has quit [Ping timeout: 260 seconds]
zwr has quit [Read error: Connection reset by peer]
dtman34 has quit [Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in]
zwr has joined #commonlisp
stirl has joined #commonlisp
decweb has quit [Quit: Konversation terminated!]
admich1 has quit [Ping timeout: 248 seconds]
dtman34 has joined #commonlisp
decweb has joined #commonlisp
pve has quit [Quit: leaving]
stirl has quit [Ping timeout: 260 seconds]
rkazak has quit [Ping timeout: 252 seconds]
lcn_ has quit [Remote host closed the connection]
rgherdt has quit [Remote host closed the connection]
RavenJoad has quit [Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.4)]
SAL9000 has quit [Ping timeout: 272 seconds]
SAL9000 has joined #commonlisp
admich1 has joined #commonlisp
dra has quit [Remote host closed the connection]
rkazak has joined #commonlisp
dtman34 has quit [Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in]
dtman34 has joined #commonlisp
dtman34 has quit [Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in]
dtman34 has joined #commonlisp
admich1 has quit [Ping timeout: 276 seconds]
jeffrey has joined #commonlisp
admich1 has joined #commonlisp
rkazak has quit [Ping timeout: 268 seconds]
dtman34 has quit [Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in]
dtman34 has joined #commonlisp
dtman34 has quit [Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in]