tyson2 has quit [Remote host closed the connection]
random-nick has quit [Ping timeout: 256 seconds]
tyson2 has joined #commonlisp
Lord_of_Life has quit [Ping timeout: 264 seconds]
Lord_of_Life has joined #commonlisp
awlygj has joined #commonlisp
waleee has quit [Ping timeout: 260 seconds]
tyson2 has quit [Remote host closed the connection]
tertek has quit [Ping timeout: 255 seconds]
amb007 has joined #commonlisp
amb007 has quit [Ping timeout: 268 seconds]
decweb has quit [Ping timeout: 272 seconds]
tertek has joined #commonlisp
cmack has joined #commonlisp
igemnace has joined #commonlisp
slyrus has quit []
slyrus has joined #commonlisp
josrr has quit [Remote host closed the connection]
Inline has quit [Ping timeout: 260 seconds]
akoana has quit [Quit: leaving]
<beach>
younder: Somewhat. I used to use it in my teaching. Why do you ask?
<beach>
younder: The book Lisp in Small Pieces uses it.
tasty has quit [Quit: bye bye!]
tasty has joined #commonlisp
tasty has quit [Changing host]
tasty has joined #commonlisp
awlygj has quit [Remote host closed the connection]
ronald has quit [Read error: Connection reset by peer]
ronald has joined #commonlisp
awlygj has joined #commonlisp
X-Scale has joined #commonlisp
zero-xray has joined #commonlisp
wacki has joined #commonlisp
rtypo has quit [Ping timeout: 260 seconds]
Pixel_Outlaw has quit [Quit: Leaving]
zero-xray has quit [Changing host]
zero-xray has joined #commonlisp
danza has joined #commonlisp
danza_ has joined #commonlisp
danza has quit [Read error: Connection reset by peer]
amb007 has joined #commonlisp
Renfyeld has quit [Ping timeout: 240 seconds]
amb007 has quit [Ping timeout: 256 seconds]
Renfield has joined #commonlisp
amb007 has joined #commonlisp
amb007 has quit [Read error: Connection reset by peer]
danza_ has quit [Ping timeout: 264 seconds]
amb007 has joined #commonlisp
pve has joined #commonlisp
rgherdt has joined #commonlisp
istewart has quit [Quit: Konversation terminated!]
amb007 has quit [Read error: Connection reset by peer]
amb007 has joined #commonlisp
zero-xray has quit [Quit: connection reset by purr]
zero-xray has joined #commonlisp
danse-nr3 has joined #commonlisp
shka has joined #commonlisp
<younder>
Beach I am considering using it in my specification
<beach>
What specification?
<younder>
beach 25 special form pulled thought AST to SSA, then optimized. There is a protocol here
<beach>
That might be challenging. This is just for the purpose of testing your library, yes?
_cymew_ has joined #commonlisp
<younder>
beach yes. Testing or verifying
<beach>
I mean, the library should not start with forms nor ASTs, but with MIR. So it would seem more natural to invent some semantic notation for MIR and verify it.
<beach>
And you would have another huge but unrelated pile of code to test, namely your translation to AST and then to MIR.
chomwitt has joined #commonlisp
attila_lendvai has joined #commonlisp
alcor has joined #commonlisp
kamafam has joined #commonlisp
dino_tutter has joined #commonlisp
iNomad has joined #commonlisp
X-Scale has quit [Quit: Client closed]
<beach>
But, several times now, you have hinted that you want to start with source code, so perhaps you want to write a compiler from scratch.
bilegeek has quit [Quit: Leaving]
amb007 has quit [Ping timeout: 255 seconds]
amb007 has joined #commonlisp
skeemer has joined #commonlisp
mgl has joined #commonlisp
oneeyedalien has joined #commonlisp
amb007 has quit [Ping timeout: 260 seconds]
amb007 has joined #commonlisp
zero-xray has quit [Quit: connection reset by purr]
zero-xray has joined #commonlisp
zero-xray has quit [Quit: connection reset by purr]
waleee has joined #commonlisp
zero-xray has joined #commonlisp
chomwitt has quit [Ping timeout: 268 seconds]
giro has quit [Quit: leaving]
Inline has joined #commonlisp
Cymew has joined #commonlisp
danse-nr3 has quit [Ping timeout: 252 seconds]
amb007 has quit [Ping timeout: 240 seconds]
occ has quit [Ping timeout: 264 seconds]
zero-xray has quit [Quit: connection reset by purr]
danse-nr3 has joined #commonlisp
zero-xray has joined #commonlisp
amb007 has joined #commonlisp
igemnace has quit [Read error: Connection reset by peer]
amb007 has quit [Ping timeout: 260 seconds]
occ has joined #commonlisp
zero-xray has quit [Quit: connection reset by purr]
zero-xray has joined #commonlisp
zero-xray has quit [Excess Flood]
donleo has joined #commonlisp
Farooq has joined #commonlisp
zero-xray has joined #commonlisp
Farooq has quit [Changing host]
Farooq has joined #commonlisp
donleo has quit [Remote host closed the connection]
igemnace has joined #commonlisp
donleo has joined #commonlisp
bendersteed has joined #commonlisp
donleo has quit [Remote host closed the connection]
donleo has joined #commonlisp
amb007 has joined #commonlisp
zetef has joined #commonlisp
zero-xray has quit [Excess Flood]
zero-xray has joined #commonlisp
amb007 has quit [Ping timeout: 256 seconds]
zero-xray has quit [Excess Flood]
pfdietz has quit [Quit: Client closed]
zetef_ has joined #commonlisp
zero-xray has joined #commonlisp
zetef has quit [Ping timeout: 264 seconds]
zetef_ has quit [Read error: Connection reset by peer]
zetef has joined #commonlisp
zero-xray has quit [Excess Flood]
zero-xray has joined #commonlisp
zero-xray has quit [Excess Flood]
green_ has quit [Ping timeout: 252 seconds]
zero-xray has joined #commonlisp
zero-xray has quit [Excess Flood]
<younder>
beach: I studied under Ole-Johnan Dahl in verifiable programming.
<beach>
Nice!
a51 has joined #commonlisp
<younder>
I do wonder about how to proceed. I don't want to specify to early.
<beach>
younder: How about defining the components (instructions and data) of MIR.
<paulapatience>
(I haven't investigated much though.)
<beach>
younder: Then you can expose that for remarks.
<younder>
beach sounds good. Although I call it AST.
<beach>
That's very very different.
<beach>
I guess you haven't checked Muchnick's book yet.
pillton has quit [Remote host closed the connection]
synchromesh has quit [Read error: Connection reset by peer]
<younder>
Yes. I need to find out why. There are to many intermediate stages. I want 3. and 3 only because I want to produce reasonable error messages.
<younder>
beach I covered the first 7 chapters.
synchromesh has joined #commonlisp
<beach>
You only need 2 representations I think. MIR and LIR, where the latter exposes registers.
<beach>
Anyway, guests arrive in a few minutes and I will be busy the rest of the day.
<younder>
MIR it is.
yitzi has joined #commonlisp
random-nick has joined #commonlisp
amb007 has joined #commonlisp
iNomad has quit [Quit: leaving]
tyson2 has joined #commonlisp
green_ has joined #commonlisp
zetef has quit [Read error: Connection reset by peer]
wacki has quit [Read error: Connection reset by peer]
wacki has joined #commonlisp
unl0ckd has joined #commonlisp
danse-nr3 has quit [Read error: Connection reset by peer]
oneeyedalien has quit [Remote host closed the connection]
<Shinmera>
but it does, hence why I'm saying it does
<mivanchev>
yes, I know but there's something going on here, I am using it OK locally
<mivanchev>
but from a chroot it doesn't
<mivanchev>
I'm trying to package alexandria for Void Linux
<mivanchev>
and load-system "alexandria" works
<mivanchev>
but alexandria/tests gives Component "alexandria/tests" not found
<Shinmera>
I have no idea how you're chrooting or maintaining your ASDF system registry or anything at all
<Shinmera>
so I can't tell you what you're doing wrong
<zyd>
(asdf:load-system :alexandria/tests) works for me :^)
<aeth>
which alexandria is it and are they two different ones?
<mivanchev>
I am sorry to waste your time it was my mistake, the master of alexandria is different from the latest tagged version 1.4 which has 2 ASD files
<Shinmera>
well, good you found the source of the problem
<mivanchev>
i did, thank you for making me question my status quo :)
mivanchev has quit [Quit: Leaving]
a51 has joined #commonlisp
germ has joined #commonlisp
wacki has quit [Quit: My iMac has gone to sleep. ZZZzzz…]
Inline has joined #commonlisp
germ has quit [Changing host]
germ has joined #commonlisp
amb007 has joined #commonlisp
dmgk has left #commonlisp [#commonlisp]
alcor has quit [Remote host closed the connection]
nij- has joined #commonlisp
attila_lendvai has quit [Ping timeout: 268 seconds]
Alfr has quit [Quit: Leaving]
LuisSyst-M has quit [Ping timeout: 256 seconds]
LuisSyst-M has joined #commonlisp
jmdaemon has joined #commonlisp
nij_ has joined #commonlisp
nij- has quit [Killed (NickServ (GHOST command used by nij_))]
nij_ is now known as nij-
nij- has quit [Killed (NickServ (GHOST command used by nij_))]
nij_ has joined #commonlisp
nij_ is now known as nij-
nij_ has joined #commonlisp
nij- has quit [Killed (NickServ (GHOST command used by nij_))]
nij_ is now known as nij-
nij- has quit [Killed (NickServ (GHOST command used by nij_))]
nij_ has joined #commonlisp
nij_ is now known as nij-
nij_ has joined #commonlisp
nij- has quit [Killed (NickServ (GHOST command used by nij_))]
nij_ is now known as nij-
nij_ has joined #commonlisp
nij- has quit [Killed (NickServ (GHOST command used by nij_))]
nij_ is now known as nij-
nij- has quit [Killed (NickServ (GHOST command used by nij_))]
nij_ has joined #commonlisp
nij_ is now known as nij-
nij- has quit [Killed (NickServ (GHOST command used by nij_))]
nij_ has joined #commonlisp
nij_ is now known as nij-
nij- has quit [Killed (NickServ (GHOST command used by nij_))]
nij_ has joined #commonlisp
nij- has joined #commonlisp
a51 has quit [Quit: WeeChat 4.2.1]
shka has quit [Ping timeout: 268 seconds]
yitzi has quit [Remote host closed the connection]
amb007 has quit [Ping timeout: 255 seconds]
Inline has quit [Ping timeout: 268 seconds]
chomwitt has quit [Ping timeout: 260 seconds]
rgherdt has quit [Quit: Leaving]
pve has quit [Quit: leaving]
pfdietz has quit [Quit: Client closed]
mgl has joined #commonlisp
dino_tutter has quit [Ping timeout: 240 seconds]
occ has quit [Read error: Connection reset by peer]
donleo has quit [Ping timeout: 272 seconds]
synchromesh has quit [Read error: Connection reset by peer]
occ has joined #commonlisp
jmdaemon has quit [Ping timeout: 256 seconds]
synchromesh has joined #commonlisp
jmdaemon has joined #commonlisp
<skin>
I'm looking for how to ensure that some function signals an error using parachute.
<skin>
I think I'd just use `handler-case...(true :pass)`, does that sound right?