-- Using ghc --make in this module triggers compilation of every library. module Toplibs () where import Test () import Test.LeanCheck () import Test.LeanCheck.Utils () import Test.LeanCheck.Error () import Test.LeanCheck.Function () import Test.LeanCheck.Generic ()