addDevPkgs does not modify DynFlags if packages are an empty list.

This commit is contained in:
Kazu Yamamoto 2013-09-20 11:39:11 +09:00
parent a491927ef6
commit d58c11bcc3

View File

@ -207,6 +207,7 @@ setCabalPkg dflag = dopt_set dflag Opt_BuildingCabalPackage
----------------------------------------------------------------
addDevPkgs :: DynFlags -> [Package] -> DynFlags
addDevPkgs df [] = df
addDevPkgs df pkgs = df''
where
#if __GLASGOW_HASKELL__ >= 707