Closed Ambrevar closed 1 year ago
Confirms that #7 is already fixed.
@aartaka Am I mistaken? If you look at the code, :unbound is strictly equivalent to "no initform", which is handled by default-type-inference and returns NIL, thus resulting in no type.
:unbound
default-type-inference
Yep, seems to be fixed in fresh nclasses, sorry for the false alarm. Most probably was a cache problem on my machine (*´∀'*)
nclasses
(*´∀'*)
Confirms that #7 is already fixed.
@aartaka Am I mistaken? If you look at the code,
:unbound
is strictly equivalent to "no initform", which is handled bydefault-type-inference
and returns NIL, thus resulting in no type.