Search
16:17:37
flip214
(defstruct foo (bar) (bar))
16:17:54
flip214
Class not yet defined: NIL
16:32:54
stassats
flip214: i did git-blame
16:36:26
|3b|
stassats: RATIONAL/RATIONALIZE improvements made my code faster, thanks :)
16:42:09
stassats
folding or type derivation?
16:42:57
|3b|
not sure which specifically, probably folding was enough in that case
16:44:11
|3b|
when would it do one but not the other?
16:44:53
stassats
i doubt type derivation is ever going to be helpful, aside from maybe deriving the sign
16:45:32
|3b|
yeah, was wondering when it would fold without knowing the type directly, or wouldn't fold but would still have something to derive