12:51:49beachBike: Am I right in thinking that your implementation of COMPILE-TIME would make a query return a global function shadowed by a local function with the same name?
15:00:32BikeI think you already determined compile time was busted
15:03:55BikeI suppose it ought to actually insert a kind of shadowing entry
15:04:30BikeSo that if function info gets up there it returns nil without consulting the global environment, and whatnot
15:06:41scymtymBike: since you are working on compiler errors and macroexpansion: have you considered something like https://github.com/sbcl/sbcl/blob/master/src/code/early-extensions.lisp#L401 ? in SBCL, using this in standard macros allowed improving source locations of errors signaled from macro functions as shown in https://techfak.de/~jmoringe/macroexpansion-condition-locations.png (left side is after, right is before)