00:03
karlosz has joined #commonlisp
00:05
morganw has quit [Remote host closed the connection]
00:06
tyson2 has joined #commonlisp
00:06
karlosz has quit [Read error: Connection reset by peer]
00:07
karlosz has joined #commonlisp
00:12
Oladon has joined #commonlisp
00:13
perrierjouet has quit [Quit: WeeChat 3.7.1]
00:13
karlosz has quit [Quit: karlosz]
00:16
aartaka has quit [Ping timeout: 264 seconds]
00:17
aartaka has joined #commonlisp
00:18
pillton has joined #commonlisp
00:23
tyson2 has quit [Remote host closed the connection]
00:27
pfd has joined #commonlisp
00:28
Lord_Nightmare has joined #commonlisp
00:37
perrierjouet has joined #commonlisp
00:40
jeosol has quit [Ping timeout: 260 seconds]
00:43
Fare has quit [Ping timeout: 260 seconds]
01:00
perrierjouet has quit [Killed (ozone (No Spam))]
01:01
Oladon has quit [Read error: Connection reset by peer]
01:01
Oladon has joined #commonlisp
01:19
rogersm has quit [Read error: Connection reset by peer]
01:20
rogersm has joined #commonlisp
01:53
hashfunc has joined #commonlisp
02:00
notzmv has quit [Remote host closed the connection]
02:01
perrierjouet has joined #commonlisp
02:04
dipper has quit [Remote host closed the connection]
02:05
attila_lendvai has quit [Ping timeout: 264 seconds]
02:05
dipper has joined #commonlisp
02:05
thuna` has quit [Ping timeout: 268 seconds]
02:06
perrierjouet has quit [Quit: WeeChat 3.7.1]
02:07
perrierjouet has joined #commonlisp
02:08
notzmv has joined #commonlisp
02:11
causal has joined #commonlisp
02:11
epony has quit [Ping timeout: 268 seconds]
02:13
dipper has quit [Remote host closed the connection]
02:16
aartaka has quit [Ping timeout: 256 seconds]
02:16
dipper has joined #commonlisp
02:17
aartaka has joined #commonlisp
02:23
jeosol has joined #commonlisp
02:34
hashfunc has quit [Remote host closed the connection]
02:36
perrierjouet has quit [Quit: WeeChat 3.7.1]
02:40
NotThatRPG_ has joined #commonlisp
02:42
NotThatRPG_ has quit [Client Quit]
02:43
NotThatRPG has quit [Ping timeout: 265 seconds]
03:00
epony has joined #commonlisp
03:04
perrierjouet has joined #commonlisp
03:34
Oladon has quit [Read error: Connection reset by peer]
03:35
Oladon has joined #commonlisp
03:51
waleee has quit [Ping timeout: 265 seconds]
04:06
ebrasca has quit [Remote host closed the connection]
04:10
NotThatRPG has joined #commonlisp
04:17
aartaka has quit [Ping timeout: 264 seconds]
04:17
aartaka has joined #commonlisp
04:21
azimut has quit [Ping timeout: 255 seconds]
04:22
NotThatRPG has quit [Read error: Connection reset by peer]
04:22
NotThatRPG has joined #commonlisp
04:50
alfonsox has joined #commonlisp
05:00
NotThatRPG has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
05:03
Fare has joined #commonlisp
05:04
akoana has quit [Quit: leaving]
05:18
Oladon has quit [Quit: Leaving.]
05:34
robin has quit [Read error: Connection reset by peer]
05:35
robin has joined #commonlisp
05:37
Lord_of_Life_ has joined #commonlisp
05:38
Lord_of_Life has quit [Ping timeout: 265 seconds]
05:38
Lord_of_Life_ is now known as Lord_of_Life
05:54
Fare has quit [Ping timeout: 260 seconds]
06:06
Fare has joined #commonlisp
06:16
random-jellyfish has joined #commonlisp
06:18
aartaka has quit [Ping timeout: 265 seconds]
06:18
aartaka has joined #commonlisp
06:24
Fare has quit [Ping timeout: 260 seconds]
06:30
Cymew has joined #commonlisp
06:38
hrberg has joined #commonlisp
06:51
igemnace has joined #commonlisp
06:52 _cymew_ has joined #commonlisp
06:53
Bung has joined #commonlisp
06:58
rangahy has joined #commonlisp
07:01
rgherdt has joined #commonlisp
07:05
Bung has quit [Remote host closed the connection]
07:06
Bung has joined #commonlisp
07:17
lisp123 has joined #commonlisp
07:30
Bung has quit [Remote host closed the connection]
07:30
Bunggg has joined #commonlisp
07:32
Bunggg is now known as Bung
07:39
shka has joined #commonlisp
07:40
<
mfiano >
Is there a predicate that checks if a quoted type specifier list even designates an existing type definition?
07:41 _cymew_ has quit [Ping timeout: 256 seconds]
07:43
lisp1234 has joined #commonlisp
07:45
random-jellyfish has quit [Quit: Client closed]
07:45
lisp123 has quit [Ping timeout: 264 seconds]
07:50
lisp1234 has quit [Read error: Connection reset by peer]
07:51
scymtym has quit [Ping timeout: 265 seconds]
07:51
Brucio-61 has quit [Ping timeout: 260 seconds]
07:52
pve has joined #commonlisp
07:52
<
pillton >
You could argue that the operations that use the type specifier define the requirements of the type definition. If the type specifier doesn't meet the requirements of the operation than it doesn't exist.
07:52
<
hayley >
There isn't, I believe.
07:53
<
phoe >
mfiano: trivial-types:type-specifier-p
07:53
<
mfiano >
Not even for atomic type specifiers, as in, does this name match an existing deftype/defclass/defstruct in that package?
07:53
<
White_Flame >
what about (subtypep t '<typespec>) ?
07:53
<
pillton >
Assume the function exists, what do you do with the type specifier afterwards?
07:54
<
mfiano >
The type specifier is user input, it gets transformed into program output.
07:55
<
mfiano >
So, thrown away.
08:02
enzuru has joined #commonlisp
08:04
varjag has joined #commonlisp
08:09
Brucio-61 has joined #commonlisp
08:13
seletz has joined #commonlisp
08:16
aartaka has quit [Ping timeout: 248 seconds]
08:17
aartaka has joined #commonlisp
08:20
random-nick has joined #commonlisp
08:20
Bung has quit [Remote host closed the connection]
08:22
rangahy has quit [Ping timeout: 260 seconds]
08:26
Brucio-61 has quit [Ping timeout: 260 seconds]
08:29
lisp123 has joined #commonlisp
08:32
<
lisp123 >
splittist, no problem. I've seen some ugly firings so I know that companies try to pull the you sent work home card when its a bad breakup
08:38
lisp123 has quit [Ping timeout: 256 seconds]
08:46
aartaka has quit [Ping timeout: 265 seconds]
08:48
aartaka has joined #commonlisp
08:50
ym has joined #commonlisp
08:55
buckaroo has joined #commonlisp
08:55
MajorBiscuit has joined #commonlisp
08:57
Fare has joined #commonlisp
08:58
rangahy has joined #commonlisp
09:03
Bung has joined #commonlisp
09:14
Bocaneri has joined #commonlisp
09:15
aartaka has quit [Ping timeout: 265 seconds]
09:15
Bocaneri is now known as Guest9581
09:15
rangahy has quit [Ping timeout: 268 seconds]
09:16
ym has quit [Ping timeout: 265 seconds]
09:17
Sauvin has quit [Ping timeout: 260 seconds]
09:17
aartaka has joined #commonlisp
09:18
<
jackdaniel >
mfiano: (typecase nil (typespec)) wrapped in handler case
09:21
<
jackdaniel >
also don't forget to muffle warnings
09:24
lisp123 has joined #commonlisp
09:26
Fare has quit [Ping timeout: 260 seconds]
09:26
Guest9581 is now known as Sauvin
09:27
rangahy has joined #commonlisp
09:36
ym has joined #commonlisp
09:38
Brucio-61 has joined #commonlisp
09:39
<
phoe >
you gotta compile that though, no?
09:41
<
phoe >
that would be just an HANDLER-CASE TYPEP NIL at runtime I think
09:41
Bung has quit [Ping timeout: 255 seconds]
09:42
<
jackdaniel >
tryitandsee™
09:42
<
jackdaniel >
but I don't think that the specification elaborates of what happens when the typespec does not exist
09:42
<
jackdaniel >
s/not exist/not denote any type/
09:43
Bung has joined #commonlisp
10:00
son0p has quit [Ping timeout: 256 seconds]
10:01
alfonsox has quit [Read error: Connection reset by peer]
10:02
MajorBiscuit has quit [Ping timeout: 252 seconds]
10:05
rangahy has quit [Ping timeout: 264 seconds]
10:12
rangahy has joined #commonlisp
10:14
scymtym has joined #commonlisp
10:17
rainthree has joined #commonlisp
10:27
sbenitezb has joined #commonlisp
10:27
aartaka has quit [Ping timeout: 260 seconds]
10:30
rangahy has quit [Ping timeout: 268 seconds]
10:33
buckaroo has quit [Quit: WeeChat 3.7.1]
10:35
pjb has quit [Ping timeout: 264 seconds]
10:45
rangahy has joined #commonlisp
10:59
lisp123 has quit [Remote host closed the connection]
10:59
lisp123 has joined #commonlisp
11:04
lisp123 has quit [Ping timeout: 256 seconds]
11:15
ym has quit [Ping timeout: 268 seconds]
11:16
dipper has quit [Remote host closed the connection]
11:19
dipper has joined #commonlisp
11:26
ebrasca has joined #commonlisp
11:27
lisp123 has joined #commonlisp
11:31
ym has joined #commonlisp
11:43
lisp123 has quit [Ping timeout: 246 seconds]
11:43
pillton has quit [Remote host closed the connection]
11:46
jmdaemon has quit [Ping timeout: 264 seconds]
11:57
Lycurgus has joined #commonlisp
12:00
pranavats has joined #commonlisp
12:11
son0p has joined #commonlisp
12:19
frgo has quit [Ping timeout: 265 seconds]
12:26
azimut has joined #commonlisp
12:32 _cymew_ has joined #commonlisp
12:33
Bung has quit [Quit: Leaving]
12:39
rangahy has quit [Ping timeout: 260 seconds]
13:09
azimut has quit [Remote host closed the connection]
13:13
azimut has joined #commonlisp
13:17
pranavats has left #commonlisp [Error from remote client]
13:18
attila_lendvai has joined #commonlisp
13:26
pranavats has joined #commonlisp
13:29
dipper has quit [Remote host closed the connection]
13:36
pranavats has left #commonlisp [Error from remote client]
13:36
ym has quit [Ping timeout: 264 seconds]
13:38
pranavats has joined #commonlisp
13:46
sedzcat has joined #commonlisp
13:49
sedzcat has quit [Client Quit]
13:49
sedzcat has joined #commonlisp
13:53
ym has joined #commonlisp
13:59
NotThatRPG has joined #commonlisp
14:01
frgo has joined #commonlisp
14:06
frgo has quit [Ping timeout: 268 seconds]
14:08
frgo has joined #commonlisp
14:08
NotThatRPG has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
14:09
frgo has quit [Remote host closed the connection]
14:09
frgo has joined #commonlisp
14:11
NotThatRPG has joined #commonlisp
14:27
Fare has joined #commonlisp
14:31
varjag has quit [Quit: ERC (IRC client for Emacs 27.1)]
14:47
sedzcat has quit [Ping timeout: 265 seconds]
14:52
Brucio-61 has quit [Ping timeout: 260 seconds]
14:53
scymtym has quit [Ping timeout: 256 seconds]
15:04
ym has quit [Ping timeout: 268 seconds]
15:09
Brucio-61 has joined #commonlisp
15:20
Bung has joined #commonlisp
15:24
scymtym has joined #commonlisp
15:25
ym has joined #commonlisp
15:26
rangahy has joined #commonlisp
15:34
tyson2 has joined #commonlisp
15:41
frgo has quit [Ping timeout: 248 seconds]
15:49
rainthree has quit [Ping timeout: 256 seconds]
15:54
rgherdt_ has joined #commonlisp
15:55
shka has quit [Quit: Konversation terminated!]
15:55
rgherdt has quit [Ping timeout: 265 seconds]
15:57
shka has joined #commonlisp
15:59
random-nick has quit [Read error: Connection reset by peer]
16:05
pfd has quit [Ping timeout: 260 seconds]
16:32
vn36 has joined #commonlisp
16:32
igemnace has quit [Quit: WeeChat 3.7.1]
16:35
jeosol has quit [Ping timeout: 260 seconds]
16:37
Inline has joined #commonlisp
16:39
azimut has quit [Remote host closed the connection]
16:46
azimut has joined #commonlisp
16:48
thuna` has joined #commonlisp
16:48
azimut has quit [Remote host closed the connection]
16:49
azimut has joined #commonlisp
16:56
ritchie101 has joined #commonlisp
16:57
sbenitezb has joined #commonlisp
16:58
luis has joined #commonlisp
17:01
ritchie101 has quit [Remote host closed the connection]
17:17
random-nick has joined #commonlisp
17:21
knusbaum has joined #commonlisp
17:24
cage has joined #commonlisp
17:33
euandreh has joined #commonlisp
17:36
Catie has joined #commonlisp
17:36
karlosz has joined #commonlisp
17:38
Cymew has quit [Ping timeout: 265 seconds]
17:45
Oladon has joined #commonlisp
17:48
causal has quit [Quit: WeeChat 3.7.1]
17:51
rainthree has joined #commonlisp
17:55
cosimone has joined #commonlisp
17:56
ym has quit [Ping timeout: 265 seconds]
18:16
deadmarshal has quit [Read error: Connection reset by peer]
18:35
Krystof has quit [Ping timeout: 265 seconds]
18:36
deadmarshal has joined #commonlisp
18:38
Bung has quit [Remote host closed the connection]
18:39
Bung has joined #commonlisp
18:41
Bung has quit [Remote host closed the connection]
18:41
Bung has joined #commonlisp
18:50
karlosz has quit [Read error: Connection reset by peer]
18:57
frgo has joined #commonlisp
18:57
rangahy has quit [Ping timeout: 260 seconds]
18:59
rangahy has joined #commonlisp
19:03
tyson2 has quit [Remote host closed the connection]
19:10
pjb has joined #commonlisp
19:12
Fare has quit [Ping timeout: 255 seconds]
19:21
Bung has quit [Remote host closed the connection]
19:33 _cymew_ has quit [Ping timeout: 265 seconds]
19:35
Bung has joined #commonlisp
19:40
tyson2 has joined #commonlisp
19:42
waleee has joined #commonlisp
19:46
Krystof has joined #commonlisp
20:01
vn36 has quit [Quit: Lost terminal]
20:04
rangahy has quit [Ping timeout: 248 seconds]
20:09
rainthree has quit [Ping timeout: 260 seconds]
20:17
lisp123 has joined #commonlisp
20:20
Bung has quit [Remote host closed the connection]
20:31
varjag has joined #commonlisp
20:35
lisp123 has quit [Ping timeout: 260 seconds]
20:37
tyson2 has quit [Remote host closed the connection]
20:57
lisp123 has joined #commonlisp
20:58
lisp123 has quit [Remote host closed the connection]
20:59
Bung has joined #commonlisp
21:00
Sauvin is now known as s
21:00
s is now known as Sauvin
21:01
cosimone has quit [Remote host closed the connection]
21:03
thuna` has quit [Remote host closed the connection]
21:04
cage has quit [Quit: rcirc on GNU Emacs 27.1]
21:17
Bung has quit [Remote host closed the connection]
21:20
jeosol has joined #commonlisp
21:35
tyson2 has joined #commonlisp
21:46
Bike has quit [Remote host closed the connection]
21:47
zyni-moe has joined #commonlisp
21:49
zyni-moe has quit [Client Quit]
21:55
Bike has joined #commonlisp
22:01
dra has joined #commonlisp
22:11
<
Shinmera >
mfiano: there is not, though you can use the Definitions library as a portability layer.
22:20
tibfulv_ has joined #commonlisp
22:23
tibfulv has quit [Ping timeout: 265 seconds]
22:31
ebrasca has quit [Remote host closed the connection]
22:35
rgherdt_ has quit [Remote host closed the connection]
22:40
tyson2 has quit [Remote host closed the connection]
22:44
shka has quit [Ping timeout: 260 seconds]
23:06
tibfulv_ is now known as tibfulv
23:11
euandreh has quit [Quit: euandreh]
23:20
lucerne has joined #commonlisp
23:21
lucerne has quit [Read error: Connection reset by peer]
23:29
varjag has quit [Ping timeout: 256 seconds]
23:49
gateway2000 has quit [Quit: Leaving]
23:51
gateway2000 has joined #commonlisp
23:53
pve has quit [Quit: leaving]
23:56
dra has quit [Remote host closed the connection]
23:57
pillton has joined #commonlisp