2 commits

Author	SHA1	Message	Date
Sebastian Ullrich	e6dfdfdcee	fix: reject attribute uses whose module is reachable only via IR (#13613) ... This PR makes the elaborator reject `@[foo]` when the module that registers `foo` is not visibly imported into the current file but merely loaded as IR. Previously such uses silently elaborated but led to divergence of cmdline and server behavior and caused `lake shake --fix` to flip-flop on successive runs (#13599).	2026-05-06 11:55:43 +00:00
Sebastian Ullrich	8cbd7ccf09	test: reimplement package tests using Lake	2022-02-09 12:21:11 -08:00