freenode/#sbcl - IRC Chatlog
Search
18:01:06
stassats
(flet ((f (x) x)) (f 1) (f 2)) is derived as (integer 1 2), while we know it to be (integer 2 2)
18:03:32
stassats
suppose we have a lot of time to waste, and inline each local function, use that inline expansion only to derive the type
19:23:00
pkhuong
we need to insert type derivation in constraint, and start with an aggressive assumption that local functions don't return
22:37:12
g_o
hey im working on the alien struct bug thing and wrote a function that should work, but got really stuck: i want to insert the call at alien-funcall on the target but there are several definitions, some are deftransform that are on the host part... can anyone help me understand how it decides where to go from define-alien-routine for example? sorry im a noob
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