packages feed

leancheck-0.9.2: mk/depend.mk

bench/dets: \
  bench/dets.hs \
  mk/toplibs
bench/dets.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 \
  bench/dets.hs
bench/memory-usage: \
  bench/memory-usage.hs \
  mk/toplibs
bench/memory-usage.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 \
  bench/memory-usage.hs
bench/pick: \
  bench/pick.hs \
  mk/toplibs
bench/pick.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/Show/EightLines.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 \
  bench/pick.hs
bench/tiers-4cases: \
  bench/tiers-4cases.hs \
  mk/toplibs
bench/tiers-4cases.o: \
  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/Function/ShowFunction.hs \
  src/Test/LeanCheck/Function/Show/FourCases.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-4cases.hs
bench/tiers: \
  bench/tiers.hs \
  mk/toplibs
bench/tiers-default: \
  bench/tiers-default.hs \
  mk/toplibs
bench/tiers-default.o: \
  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/Function/Show.hs \
  src/Test/LeanCheck/Function/ShowFunction.hs \
  src/Test/LeanCheck/Function/Show/EightLines.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-default.hs
bench/tiers.o: \
  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/Function/Show.hs \
  src/Test/LeanCheck/Function/ShowFunction.hs \
  src/Test/LeanCheck/Function/Show/EightLines.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/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/Show/EightLines.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/Show/EightLines.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-float: \
  eg/test-float.hs \
  mk/toplibs
eg/test-float.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-float.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/Generic.hs \
  src/Test/LeanCheck/Function/Show.hs \
  src/Test/LeanCheck/Function/ShowFunction.hs \
  src/Test/LeanCheck/Function/Show/EightLines.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/All.hs
mk/Toplibs.o: \
  test/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/Generic.hs \
  src/Test/LeanCheck/Function/Show.hs \
  src/Test/LeanCheck/Function/ShowFunction.hs \
  src/Test/LeanCheck/Function/Show/EightLines.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/Eq.o: \
  src/Test/LeanCheck/Function/Eq.hs \
  src/Test/LeanCheck/Core.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.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/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/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/Show/EightLines.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/Show/EightLines.o: \
  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/Function/ShowFunction.hs \
  src/Test/LeanCheck/Function/Show/EightLines.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/FourCases.o: \
  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/Function/ShowFunction.hs \
  src/Test/LeanCheck/Function/Show/FourCases.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: \
  mk/toplibs
src/Test/LeanCheck/Function/ShowFunction.o: \
  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/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/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/Show/EightLines.hs \
  src/Test/LeanCheck/Error.hs \
  src/Test/LeanCheck/Derive.hs \
  src/Test/LeanCheck/Core.hs \
  src/Test/LeanCheck/Basic.hs
src/Test/LeanCheck/Generic.o: \
  src/Test/LeanCheck/Generic.hs \
  src/Test/LeanCheck/Core.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
test/derive.o: \
  test/Test.hs \
  test/derive.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
test/derive: \
  test/Test.hs \
  test/derive.hs \
  mk/toplibs
test/error.o: \
  test/Test.hs \
  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
test/error: \
  test/Test.hs \
  test/error.hs \
  mk/toplibs
test/fun.o: \
  test/Test.hs \
  test/fun.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
test/funshow.o: \
  test/funshow.hs \
  src/Test/LeanCheck/Utils/Types.hs \
  src/Test/LeanCheck/Utils/TypeBinding.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/Show/EightLines.hs \
  src/Test/LeanCheck/Error.hs \
  src/Test/LeanCheck/Derive.hs \
  src/Test/LeanCheck/Core.hs \
  src/Test/LeanCheck/Basic.hs
test/funshow: \
  test/funshow.hs \
  mk/toplibs
test/fun: \
  test/Test.hs \
  test/fun.hs \
  mk/toplibs
test/generic.o: \
  test/Test.hs \
  test/generic.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/Generic.hs \
  src/Test/LeanCheck/Derive.hs \
  src/Test/LeanCheck/Core.hs \
  src/Test/LeanCheck/Basic.hs
test/generic: \
  test/Test.hs \
  test/generic.hs \
  mk/toplibs
test/io.o: \
  test/Test.hs \
  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
test/io: \
  test/Test.hs \
  test/io.hs \
  mk/toplibs
test/main.o: \
  test/Test.hs \
  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
test/main: \
  test/Test.hs \
  test/main.hs \
  mk/toplibs
test/operators.o: \
  test/Test.hs \
  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
test/operators: \
  test/Test.hs \
  test/operators.hs \
  mk/toplibs
test/stats.o: \
  test/Test.hs \
  test/stats.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
test/stats: \
  test/Test.hs \
  test/stats.hs \
  mk/toplibs
test/Test.o: \
  test/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
test/tiers.o: \
  test/tiers.hs \
  test/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
test/tiers: \
  test/tiers.hs \
  test/Test.hs \
  mk/toplibs
test/types.o: \
  test/types.hs \
  test/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
test/types: \
  test/types.hs \
  test/Test.hs \
  mk/toplibs