@@ -247,21 +247,20 @@ data ElaboratedConfiguredPackage = ElaboratedConfiguredPackage
247247 -- to disable. This tells us which ones we build by default, and
248248 -- helps with error messages when the user asks to build something
249249 -- they explicitly disabled.
250- --
251- -- TODO: The 'Bool' here should be refined into an ADT with three
252- -- cases: NotRequested, ExplicitlyRequested and
253- -- ImplicitlyRequested. A stanza is explicitly requested if
254- -- the user asked, for this *specific* package, that the stanza
255- -- be enabled; it's implicitly requested if the user asked for
256- -- all global packages to have this stanza enabled. The
257- -- difference between an explicit and implicit request is
258- -- error reporting behavior: if a user asks for tests to be
259- -- enabled for a specific package that doesn't have any tests,
260- -- we should warn them about it, but we shouldn't complain
261- -- that a user enabled tests globally, and some local packages
262- -- just happen not to have any tests. (But perhaps we should
263- -- warn if ALL local packages don't have any tests.)
264- , elabPackageDbs :: [Maybe PackageDBCWD ]
250+ , -- TODO: The 'Bool' here should be refined into an ADT with three
251+ -- cases: NotRequested, ExplicitlyRequested and
252+ -- ImplicitlyRequested. A stanza is explicitly requested if
253+ -- the user asked, for this *specific* package, that the stanza
254+ -- be enabled; it's implicitly requested if the user asked for
255+ -- all global packages to have this stanza enabled. The
256+ -- difference between an explicit and implicit request is
257+ -- error reporting behavior: if a user asks for tests to be
258+ -- enabled for a specific package that doesn't have any tests,
259+ -- we should warn them about it, but we shouldn't complain
260+ -- that a user enabled tests globally, and some local packages
261+ -- just happen not to have any tests. (But perhaps we should
262+ -- warn if ALL local packages don't have any tests.)
263+ elabPackageDbs :: [PackageDBCWD ]
265264 , elabSetupPackageDBStack :: PackageDBStackCWD
266265 , elabBuildPackageDBStack :: PackageDBStackCWD
267266 , elabRegisterPackageDBStack :: PackageDBStackCWD
0 commit comments