bench/tiers: \ bench/tiers.hs \ mk/toplibs bench/tiers-colistable: \ bench/tiers-colistable.hs \ mk/toplibs bench/tiers-colistable.o: \ src/Test/LeanCheck/Utils/Types.hs \ src/Test/LeanCheck/Utils/TypeBinding.hs \ src/Test/LeanCheck/Utils.hs \ src/Test/LeanCheck/Utils/Operators.hs \ src/Test/LeanCheck/Tiers.hs \ src/Test/LeanCheck/Stats.hs \ src/Test/LeanCheck.hs \ src/Test/LeanCheck/IO.hs \ src/Test/LeanCheck/Function/Show.hs \ src/Test/LeanCheck/Function/ShowFunction.hs \ src/Test/LeanCheck/Function/Listable/CoListable.hs \ src/Test/LeanCheck/Function/Eq.hs \ src/Test/LeanCheck/Function/CoListable.hs \ src/Test/LeanCheck/Error.hs \ src/Test/LeanCheck/Derive.hs \ src/Test/LeanCheck/Core.hs \ src/Test/LeanCheck/Basic.hs \ bench/tiers-colistable.hs bench/tiers-funlistable: \ bench/tiers-funlistable.hs \ mk/toplibs bench/tiers-funlistable.o: \ src/Test/LeanCheck/Utils/Types.hs \ src/Test/LeanCheck/Utils/TypeBinding.hs \ src/Test/LeanCheck/Utils.hs \ src/Test/LeanCheck/Utils/Operators.hs \ src/Test/LeanCheck/Tiers.hs \ src/Test/LeanCheck/Stats.hs \ src/Test/LeanCheck.hs \ src/Test/LeanCheck/IO.hs \ src/Test/LeanCheck/Function/Show.hs \ src/Test/LeanCheck/Function/ShowFunction.hs \ src/Test/LeanCheck/Function/Listable/FunListable.hs \ src/Test/LeanCheck/Function/Eq.hs \ src/Test/LeanCheck/Error.hs \ src/Test/LeanCheck/Derive.hs \ src/Test/LeanCheck/Core.hs \ src/Test/LeanCheck/Basic.hs \ bench/tiers-funlistable.hs bench/tiers-listsofpairs: \ bench/tiers-listsofpairs.hs \ mk/toplibs bench/tiers-listsofpairs.o: \ src/Test/LeanCheck/Utils/Types.hs \ src/Test/LeanCheck/Tiers.hs \ src/Test/LeanCheck.hs \ src/Test/LeanCheck/IO.hs \ src/Test/LeanCheck/Function/Show.hs \ src/Test/LeanCheck/Function/ShowFunction.hs \ src/Test/LeanCheck/Function/ListsOfPairs.hs \ src/Test/LeanCheck/Function/Listable/ListsOfPairs.hs \ src/Test/LeanCheck/Function/Eq.hs \ src/Test/LeanCheck/Error.hs \ src/Test/LeanCheck/Derive.hs \ src/Test/LeanCheck/Core.hs \ src/Test/LeanCheck/Basic.hs \ bench/tiers-listsofpairs.hs bench/tiers-mixed: \ bench/tiers-mixed.hs \ mk/toplibs bench/tiers-mixed.o: \ src/Test/LeanCheck/Utils/Types.hs \ src/Test/LeanCheck/Utils/TypeBinding.hs \ src/Test/LeanCheck/Utils.hs \ src/Test/LeanCheck/Utils/Operators.hs \ src/Test/LeanCheck/Tiers.hs \ src/Test/LeanCheck/Stats.hs \ src/Test/LeanCheck.hs \ src/Test/LeanCheck/IO.hs \ src/Test/LeanCheck/Function/Show.hs \ src/Test/LeanCheck/Function/ShowFunction.hs \ src/Test/LeanCheck/Function/ListsOfPairs.hs \ src/Test/LeanCheck/Function/Listable/Mixed.hs \ src/Test/LeanCheck/Function/Eq.hs \ src/Test/LeanCheck/Function/CoListable.hs \ src/Test/LeanCheck/Error.hs \ src/Test/LeanCheck/Derive.hs \ src/Test/LeanCheck/Core.hs \ src/Test/LeanCheck/Basic.hs \ bench/tiers-mixed.hs bench/tiers.o: \ src/Test/LeanCheck/Utils/Types.hs \ src/Test/LeanCheck/Tiers.hs \ src/Test/LeanCheck.hs \ src/Test/LeanCheck/IO.hs \ src/Test/LeanCheck/Function/Show.hs \ src/Test/LeanCheck/Function/ShowFunction.hs \ src/Test/LeanCheck/Function.hs \ src/Test/LeanCheck/Function/ListsOfPairs.hs \ src/Test/LeanCheck/Function/Listable.hs \ src/Test/LeanCheck/Function/Listable/ListsOfPairs.hs \ src/Test/LeanCheck/Function/Eq.hs \ src/Test/LeanCheck/Error.hs \ src/Test/LeanCheck/Derive.hs \ src/Test/LeanCheck/Core.hs \ src/Test/LeanCheck/Basic.hs \ bench/tiers.hs eg/higher-order: \ eg/higher-order.hs \ mk/toplibs eg/higher-order.o: \ src/Test/LeanCheck/Utils/Types.hs \ src/Test/LeanCheck/Tiers.hs \ src/Test/LeanCheck.hs \ src/Test/LeanCheck/IO.hs \ src/Test/LeanCheck/Function/Show.hs \ src/Test/LeanCheck/Function/ShowFunction.hs \ src/Test/LeanCheck/Function.hs \ src/Test/LeanCheck/Function/ListsOfPairs.hs \ src/Test/LeanCheck/Function/Listable.hs \ src/Test/LeanCheck/Function/Listable/ListsOfPairs.hs \ src/Test/LeanCheck/Error.hs \ src/Test/LeanCheck/Derive.hs \ src/Test/LeanCheck/Core.hs \ src/Test/LeanCheck/Basic.hs \ eg/higher-order.hs eg/overflow: \ eg/overflow.hs \ mk/toplibs eg/overflow.o: \ src/Test/LeanCheck/Utils/Types.hs \ src/Test/LeanCheck/Utils/TypeBinding.hs \ src/Test/LeanCheck/Utils.hs \ src/Test/LeanCheck/Utils/Operators.hs \ src/Test/LeanCheck/Tiers.hs \ src/Test/LeanCheck/Stats.hs \ src/Test/LeanCheck.hs \ src/Test/LeanCheck/IO.hs \ src/Test/LeanCheck/Derive.hs \ src/Test/LeanCheck/Core.hs \ src/Test/LeanCheck/Basic.hs \ eg/overflow.hs eg/test-bool: \ eg/test-bool.hs \ mk/toplibs eg/test-bool.o: \ src/Test/LeanCheck/Utils/Types.hs \ src/Test/LeanCheck/Utils/TypeBinding.hs \ src/Test/LeanCheck/Utils.hs \ src/Test/LeanCheck/Utils/Operators.hs \ src/Test/LeanCheck/Tiers.hs \ src/Test/LeanCheck/Stats.hs \ src/Test/LeanCheck.hs \ src/Test/LeanCheck/IO.hs \ src/Test/LeanCheck/Function/Show.hs \ src/Test/LeanCheck/Function/ShowFunction.hs \ src/Test/LeanCheck/Function.hs \ src/Test/LeanCheck/Function/ListsOfPairs.hs \ src/Test/LeanCheck/Function/Listable.hs \ src/Test/LeanCheck/Function/Listable/ListsOfPairs.hs \ src/Test/LeanCheck/Error.hs \ src/Test/LeanCheck/Derive.hs \ src/Test/LeanCheck/Core.hs \ src/Test/LeanCheck/Basic.hs \ eg/test-bool.hs eg/test-list: \ eg/test-list.hs \ mk/toplibs eg/test-list.o: \ src/Test/LeanCheck/Tiers.hs \ src/Test/LeanCheck.hs \ src/Test/LeanCheck/IO.hs \ src/Test/LeanCheck/Derive.hs \ src/Test/LeanCheck/Core.hs \ src/Test/LeanCheck/Basic.hs \ eg/test-list.hs eg/test-sort: \ eg/test-sort.hs \ mk/toplibs eg/test-sort.o: \ src/Test/LeanCheck/Tiers.hs \ src/Test/LeanCheck.hs \ src/Test/LeanCheck/IO.hs \ src/Test/LeanCheck/Derive.hs \ src/Test/LeanCheck/Core.hs \ src/Test/LeanCheck/Basic.hs \ eg/test-sort.hs etc/hugs-backports/Data/Function.o: \ etc/hugs-backports/Data/Function.hs mk/All.o: \ src/Test/LeanCheck/Utils/Types.hs \ src/Test/LeanCheck/Utils/TypeBinding.hs \ src/Test/LeanCheck/Utils.hs \ src/Test/LeanCheck/Utils/Operators.hs \ src/Test/LeanCheck/Tiers.hs \ src/Test/LeanCheck/Stats.hs \ src/Test/LeanCheck.hs \ src/Test/LeanCheck/IO.hs \ src/Test/LeanCheck/Derive.hs \ src/Test/LeanCheck/Core.hs \ src/Test/LeanCheck/Basic.hs \ mk/All.hs mk/Toplibs.o: \ src/Test/LeanCheck/Utils/Types.hs \ src/Test/LeanCheck/Utils/TypeBinding.hs \ src/Test/LeanCheck/Utils.hs \ src/Test/LeanCheck/Utils/Operators.hs \ src/Test/LeanCheck/Tiers.hs \ src/Test/LeanCheck/Stats.hs \ src/Test/LeanCheck.hs \ src/Test/LeanCheck/IO.hs \ src/Test/LeanCheck/Function/Show.hs \ src/Test/LeanCheck/Function/ShowFunction.hs \ src/Test/LeanCheck/Function.hs \ src/Test/LeanCheck/Function/ListsOfPairs.hs \ src/Test/LeanCheck/Function/Listable.hs \ src/Test/LeanCheck/Function/Listable/ListsOfPairs.hs \ src/Test/LeanCheck/Error.hs \ src/Test/LeanCheck/Derive.hs \ src/Test/LeanCheck/Core.hs \ src/Test/LeanCheck/Basic.hs \ mk/Toplibs.hs Setup.o: \ Setup.hs Setup: \ Setup.hs \ mk/toplibs src/Test/LeanCheck/Basic.o: \ src/Test/LeanCheck/Core.hs \ src/Test/LeanCheck/Basic.hs src/Test/LeanCheck/Core.o: \ src/Test/LeanCheck/Core.hs src/Test/LeanCheck/Derive.o: \ src/Test/LeanCheck/Derive.hs \ src/Test/LeanCheck/Core.hs \ src/Test/LeanCheck/Basic.hs src/Test/LeanCheck/Error.o: \ src/Test/LeanCheck/Tiers.hs \ src/Test/LeanCheck.hs \ src/Test/LeanCheck/IO.hs \ src/Test/LeanCheck/Error.hs \ src/Test/LeanCheck/Derive.hs \ src/Test/LeanCheck/Core.hs \ src/Test/LeanCheck/Basic.hs src/Test/LeanCheck/Function/CoListable.o: \ src/Test/LeanCheck/Utils/Types.hs \ src/Test/LeanCheck/Utils/TypeBinding.hs \ src/Test/LeanCheck/Utils.hs \ src/Test/LeanCheck/Utils/Operators.hs \ src/Test/LeanCheck/Tiers.hs \ src/Test/LeanCheck/Stats.hs \ src/Test/LeanCheck.hs \ src/Test/LeanCheck/IO.hs \ src/Test/LeanCheck/Function/CoListable.hs \ src/Test/LeanCheck/Derive.hs \ src/Test/LeanCheck/Core.hs \ src/Test/LeanCheck/Basic.hs src/Test/LeanCheck/Function/Eq.o: \ src/Test/LeanCheck/Function/Eq.hs \ src/Test/LeanCheck/Core.hs src/Test/LeanCheck/Function/Listable/CoListable.o: \ src/Test/LeanCheck/Utils/Types.hs \ src/Test/LeanCheck/Utils/TypeBinding.hs \ src/Test/LeanCheck/Utils.hs \ src/Test/LeanCheck/Utils/Operators.hs \ src/Test/LeanCheck/Tiers.hs \ src/Test/LeanCheck/Stats.hs \ src/Test/LeanCheck.hs \ src/Test/LeanCheck/IO.hs \ src/Test/LeanCheck/Function/Listable/CoListable.hs \ src/Test/LeanCheck/Function/CoListable.hs \ src/Test/LeanCheck/Derive.hs \ src/Test/LeanCheck/Core.hs \ src/Test/LeanCheck/Basic.hs src/Test/LeanCheck/Function/Listable/FunListable.o: \ src/Test/LeanCheck/Utils/Types.hs \ src/Test/LeanCheck/Utils/TypeBinding.hs \ src/Test/LeanCheck/Utils.hs \ src/Test/LeanCheck/Utils/Operators.hs \ src/Test/LeanCheck/Tiers.hs \ src/Test/LeanCheck/Stats.hs \ src/Test/LeanCheck.hs \ src/Test/LeanCheck/IO.hs \ src/Test/LeanCheck/Function/Listable/FunListable.hs \ src/Test/LeanCheck/Derive.hs \ src/Test/LeanCheck/Core.hs \ src/Test/LeanCheck/Basic.hs src/Test/LeanCheck/Function/Listable/ListsOfPairs.o: \ src/Test/LeanCheck/Tiers.hs \ src/Test/LeanCheck.hs \ src/Test/LeanCheck/IO.hs \ src/Test/LeanCheck/Function/ListsOfPairs.hs \ src/Test/LeanCheck/Function/Listable/ListsOfPairs.hs \ src/Test/LeanCheck/Derive.hs \ src/Test/LeanCheck/Core.hs \ src/Test/LeanCheck/Basic.hs src/Test/LeanCheck/Function/Listable/Mixed.o: \ src/Test/LeanCheck/Utils/Types.hs \ src/Test/LeanCheck/Utils/TypeBinding.hs \ src/Test/LeanCheck/Utils.hs \ src/Test/LeanCheck/Utils/Operators.hs \ src/Test/LeanCheck/Tiers.hs \ src/Test/LeanCheck/Stats.hs \ src/Test/LeanCheck.hs \ src/Test/LeanCheck/IO.hs \ src/Test/LeanCheck/Function/ListsOfPairs.hs \ src/Test/LeanCheck/Function/Listable/Mixed.hs \ src/Test/LeanCheck/Function/CoListable.hs \ src/Test/LeanCheck/Derive.hs \ src/Test/LeanCheck/Core.hs \ src/Test/LeanCheck/Basic.hs src/Test/LeanCheck/Function/Listable.o: \ src/Test/LeanCheck/Tiers.hs \ src/Test/LeanCheck.hs \ src/Test/LeanCheck/IO.hs \ src/Test/LeanCheck/Function/ListsOfPairs.hs \ src/Test/LeanCheck/Function/Listable.hs \ src/Test/LeanCheck/Function/Listable/ListsOfPairs.hs \ src/Test/LeanCheck/Derive.hs \ src/Test/LeanCheck/Core.hs \ src/Test/LeanCheck/Basic.hs src/Test/LeanCheck/Function/Listable/Periodic.o: \ src/Test/LeanCheck/Tiers.hs \ src/Test/LeanCheck.hs \ src/Test/LeanCheck/IO.hs \ src/Test/LeanCheck/Function/Listable/Periodic.hs \ src/Test/LeanCheck/Derive.hs \ src/Test/LeanCheck/Core.hs \ src/Test/LeanCheck/Basic.hs src/Test/LeanCheck/Function/ListsOfPairs.o: \ src/Test/LeanCheck/Tiers.hs \ src/Test/LeanCheck.hs \ src/Test/LeanCheck/IO.hs \ src/Test/LeanCheck/Function/ListsOfPairs.hs \ src/Test/LeanCheck/Derive.hs \ src/Test/LeanCheck/Core.hs \ src/Test/LeanCheck/Basic.hs src/Test/LeanCheck/Function.o: \ src/Test/LeanCheck/Utils/Types.hs \ src/Test/LeanCheck/Tiers.hs \ src/Test/LeanCheck.hs \ src/Test/LeanCheck/IO.hs \ src/Test/LeanCheck/Function/Show.hs \ src/Test/LeanCheck/Function/ShowFunction.hs \ src/Test/LeanCheck/Function.hs \ src/Test/LeanCheck/Function/ListsOfPairs.hs \ src/Test/LeanCheck/Function/Listable.hs \ src/Test/LeanCheck/Function/Listable/ListsOfPairs.hs \ src/Test/LeanCheck/Error.hs \ src/Test/LeanCheck/Derive.hs \ src/Test/LeanCheck/Core.hs \ src/Test/LeanCheck/Basic.hs src/Test/LeanCheck/Function/ShowFunction.o: \ src/Test/LeanCheck/Utils/Types.hs \ src/Test/LeanCheck/Tiers.hs \ src/Test/LeanCheck.hs \ src/Test/LeanCheck/IO.hs \ src/Test/LeanCheck/Function/ShowFunction.hs \ src/Test/LeanCheck/Error.hs \ src/Test/LeanCheck/Derive.hs \ src/Test/LeanCheck/Core.hs \ src/Test/LeanCheck/Basic.hs src/Test/LeanCheck/Function/Show.o: \ src/Test/LeanCheck/Utils/Types.hs \ src/Test/LeanCheck/Tiers.hs \ src/Test/LeanCheck.hs \ src/Test/LeanCheck/IO.hs \ src/Test/LeanCheck/Function/Show.hs \ src/Test/LeanCheck/Function/ShowFunction.hs \ src/Test/LeanCheck/Error.hs \ src/Test/LeanCheck/Derive.hs \ src/Test/LeanCheck/Core.hs \ src/Test/LeanCheck/Basic.hs src/Test/LeanCheck/IO.o: \ src/Test/LeanCheck/IO.hs \ src/Test/LeanCheck/Core.hs src/Test/LeanCheck.o: \ src/Test/LeanCheck/Tiers.hs \ src/Test/LeanCheck.hs \ src/Test/LeanCheck/IO.hs \ src/Test/LeanCheck/Derive.hs \ src/Test/LeanCheck/Core.hs \ src/Test/LeanCheck/Basic.hs src/Test/LeanCheck/Stats.o: \ src/Test/LeanCheck/Stats.hs \ src/Test/LeanCheck/Core.hs src/Test/LeanCheck/Tiers.o: \ src/Test/LeanCheck/Tiers.hs \ src/Test/LeanCheck/Core.hs \ src/Test/LeanCheck/Basic.hs src/Test/LeanCheck/Utils/Operators.o: \ src/Test/LeanCheck/Utils/Operators.hs \ src/Test/LeanCheck/Tiers.hs \ src/Test/LeanCheck.hs \ src/Test/LeanCheck/IO.hs \ src/Test/LeanCheck/Derive.hs \ src/Test/LeanCheck/Core.hs \ src/Test/LeanCheck/Basic.hs src/Test/LeanCheck/Utils.o: \ src/Test/LeanCheck/Utils/Types.hs \ src/Test/LeanCheck/Utils/TypeBinding.hs \ src/Test/LeanCheck/Utils.hs \ src/Test/LeanCheck/Utils/Operators.hs \ src/Test/LeanCheck/Tiers.hs \ src/Test/LeanCheck/Stats.hs \ src/Test/LeanCheck.hs \ src/Test/LeanCheck/IO.hs \ src/Test/LeanCheck/Derive.hs \ src/Test/LeanCheck/Core.hs \ src/Test/LeanCheck/Basic.hs src/Test/LeanCheck/Utils/TypeBinding.o: \ src/Test/LeanCheck/Utils/Types.hs \ src/Test/LeanCheck/Utils/TypeBinding.hs \ src/Test/LeanCheck/Tiers.hs \ src/Test/LeanCheck.hs \ src/Test/LeanCheck/IO.hs \ src/Test/LeanCheck/Derive.hs \ src/Test/LeanCheck/Core.hs \ src/Test/LeanCheck/Basic.hs src/Test/LeanCheck/Utils/Types.o: \ src/Test/LeanCheck/Utils/Types.hs \ src/Test/LeanCheck/Tiers.hs \ src/Test/LeanCheck.hs \ src/Test/LeanCheck/IO.hs \ src/Test/LeanCheck/Derive.hs \ src/Test/LeanCheck/Core.hs \ src/Test/LeanCheck/Basic.hs tests/test-derive.o: \ tests/Test.hs \ tests/test-derive.hs \ src/Test/LeanCheck/Utils/Types.hs \ src/Test/LeanCheck/Utils/Operators.hs \ src/Test/LeanCheck/Tiers.hs \ src/Test/LeanCheck.hs \ src/Test/LeanCheck/IO.hs \ src/Test/LeanCheck/Derive.hs \ src/Test/LeanCheck/Core.hs \ src/Test/LeanCheck/Basic.hs tests/test-derive: \ tests/Test.hs \ tests/test-derive.hs \ mk/toplibs tests/test-error.o: \ tests/Test.hs \ tests/test-error.hs \ src/Test/LeanCheck/Utils/Types.hs \ src/Test/LeanCheck/Tiers.hs \ src/Test/LeanCheck.hs \ src/Test/LeanCheck/IO.hs \ src/Test/LeanCheck/Error.hs \ src/Test/LeanCheck/Derive.hs \ src/Test/LeanCheck/Core.hs \ src/Test/LeanCheck/Basic.hs tests/test-error: \ tests/Test.hs \ tests/test-error.hs \ mk/toplibs tests/test-fun.o: \ tests/Test.hs \ tests/test-fun.hs \ src/Test/LeanCheck/Utils/Types.hs \ src/Test/LeanCheck/Utils/TypeBinding.hs \ src/Test/LeanCheck/Utils.hs \ src/Test/LeanCheck/Utils/Operators.hs \ src/Test/LeanCheck/Tiers.hs \ src/Test/LeanCheck/Stats.hs \ src/Test/LeanCheck.hs \ src/Test/LeanCheck/IO.hs \ src/Test/LeanCheck/Function/ListsOfPairs.hs \ src/Test/LeanCheck/Derive.hs \ src/Test/LeanCheck/Core.hs \ src/Test/LeanCheck/Basic.hs tests/test-funshow.o: \ tests/Test.hs \ tests/test-funshow.hs \ src/Test/LeanCheck/Utils/Types.hs \ src/Test/LeanCheck/Utils/TypeBinding.hs \ src/Test/LeanCheck/Tiers.hs \ src/Test/LeanCheck.hs \ src/Test/LeanCheck/IO.hs \ src/Test/LeanCheck/Function/Show.hs \ src/Test/LeanCheck/Function/ShowFunction.hs \ src/Test/LeanCheck/Error.hs \ src/Test/LeanCheck/Derive.hs \ src/Test/LeanCheck/Core.hs \ src/Test/LeanCheck/Basic.hs tests/test-funshow: \ tests/Test.hs \ tests/test-funshow.hs \ mk/toplibs tests/test-fun: \ tests/Test.hs \ tests/test-fun.hs \ mk/toplibs tests/test-io.o: \ tests/Test.hs \ tests/test-io.hs \ src/Test/LeanCheck/Utils/Types.hs \ src/Test/LeanCheck/Tiers.hs \ src/Test/LeanCheck.hs \ src/Test/LeanCheck/IO.hs \ src/Test/LeanCheck/Derive.hs \ src/Test/LeanCheck/Core.hs \ src/Test/LeanCheck/Basic.hs tests/test-io: \ tests/Test.hs \ tests/test-io.hs \ mk/toplibs tests/test-main.o: \ tests/Test.hs \ tests/test-main.hs \ src/Test/LeanCheck/Utils/Types.hs \ src/Test/LeanCheck/Utils/TypeBinding.hs \ src/Test/LeanCheck/Utils.hs \ src/Test/LeanCheck/Utils/Operators.hs \ src/Test/LeanCheck/Tiers.hs \ src/Test/LeanCheck/Stats.hs \ src/Test/LeanCheck.hs \ src/Test/LeanCheck/IO.hs \ src/Test/LeanCheck/Derive.hs \ src/Test/LeanCheck/Core.hs \ src/Test/LeanCheck/Basic.hs tests/test-main: \ tests/Test.hs \ tests/test-main.hs \ mk/toplibs tests/test-operators.o: \ tests/Test.hs \ tests/test-operators.hs \ src/Test/LeanCheck/Utils/Types.hs \ src/Test/LeanCheck/Utils/TypeBinding.hs \ src/Test/LeanCheck/Utils.hs \ src/Test/LeanCheck/Utils/Operators.hs \ src/Test/LeanCheck/Tiers.hs \ src/Test/LeanCheck/Stats.hs \ src/Test/LeanCheck.hs \ src/Test/LeanCheck/IO.hs \ src/Test/LeanCheck/Derive.hs \ src/Test/LeanCheck/Core.hs \ src/Test/LeanCheck/Basic.hs tests/test-operators: \ tests/Test.hs \ tests/test-operators.hs \ mk/toplibs tests/Test.o: \ tests/Test.hs \ src/Test/LeanCheck/Utils/Types.hs \ src/Test/LeanCheck/Tiers.hs \ src/Test/LeanCheck.hs \ src/Test/LeanCheck/IO.hs \ src/Test/LeanCheck/Derive.hs \ src/Test/LeanCheck/Core.hs \ src/Test/LeanCheck/Basic.hs tests/test-stats.o: \ tests/test-stats.hs \ tests/Test.hs \ src/Test/LeanCheck/Utils/Types.hs \ src/Test/LeanCheck/Tiers.hs \ src/Test/LeanCheck/Stats.hs \ src/Test/LeanCheck.hs \ src/Test/LeanCheck/IO.hs \ src/Test/LeanCheck/Derive.hs \ src/Test/LeanCheck/Core.hs \ src/Test/LeanCheck/Basic.hs tests/test-stats: \ tests/test-stats.hs \ tests/Test.hs \ mk/toplibs tests/test-tiers.o: \ tests/test-tiers.hs \ tests/Test.hs \ src/Test/LeanCheck/Utils/Types.hs \ src/Test/LeanCheck/Utils/TypeBinding.hs \ src/Test/LeanCheck/Utils.hs \ src/Test/LeanCheck/Utils/Operators.hs \ src/Test/LeanCheck/Tiers.hs \ src/Test/LeanCheck/Stats.hs \ src/Test/LeanCheck.hs \ src/Test/LeanCheck/IO.hs \ src/Test/LeanCheck/Derive.hs \ src/Test/LeanCheck/Core.hs \ src/Test/LeanCheck/Basic.hs tests/test-tiers: \ tests/test-tiers.hs \ tests/Test.hs \ mk/toplibs tests/test-types.o: \ tests/test-types.hs \ tests/Test.hs \ src/Test/LeanCheck/Utils/Types.hs \ src/Test/LeanCheck/Tiers.hs \ src/Test/LeanCheck.hs \ src/Test/LeanCheck/IO.hs \ src/Test/LeanCheck/Derive.hs \ src/Test/LeanCheck/Core.hs \ src/Test/LeanCheck/Basic.hs tests/test-types: \ tests/test-types.hs \ tests/Test.hs \ mk/toplibs