freenode/#sbcl - IRC Chatlog
Search
0:26:50
g_o
karlosz: simply put, i have (deftransform alien-funcall ...) on src/compiler/aliencomp.lisp and (defun alien-funcall ...) on target-alieneval.lisp; and i can't seem to invoke the one on target-alieneval from userland
0:28:18
g_o
i've changed something there, that depends on sb-alien; so the other alternative is trying to use target sb-alien stuff from sb-c host which sounds bad..
0:32:16
g_o
haha sorry about the slang, by userland i mean when i run-sbcl.sh and try to call an alien routine
0:33:50
g_o
karlosz: well the thing is, i debug printed both, and the only print i got was from there; so in one way or another it gets there, and either my other debug print didn't update for some reason, or it really isn't called
0:46:28
minion
There are multiple help modules. Try ``/msg minion help kind'', where kind is one of: "lookups", "helping others", "adding terms", "aliasing terms", "forgetting", "memos", "avoiding memos", "nicknames", "goodies", "eliza", "advice", "apropos", "acronyms".
0:48:15
g_o
minion: memo for karlosz: thanks for trying I'll find a better way to phrase my question tommorow
2:25:14
pkhuong
adlai: the halting problem is equivalent to asking if the type of a function is the empty type. any time we consider tighter flow analyses / abstract interpretation in the presence of loops or recursion, non termination is an obvious challenge