-
Edsko de Vries authored
(previously the default was the topdown solver for GHC < 7). Also adds a deprecation warning when the topdown solver is selected.
17bba085
(previously the default was the topdown solver for GHC < 7). Also adds a deprecation warning when the topdown solver is selected.