leancheck-0.7.5: mk/depend.mk

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