extrapolate-0.4.2: mk/depend.mk

bench/diff: \
  bench/diff.hs \
  mk/toplibs
bench/diff.o: \
  src/Test/Extrapolate/Utils.hs \
  src/Test/Extrapolate/TypeBinding.hs \
  src/Test/Extrapolate/Testable.hs \
  src/Test/Extrapolate/Speculation.hs \
  src/Test/Extrapolate.hs \
  src/Test/Extrapolate/IO.hs \
  src/Test/Extrapolate/Generalization.hs \
  src/Test/Extrapolate/Generalizable.hs \
  src/Test/Extrapolate/Generalizable/Derive.hs \
  src/Test/Extrapolate/Expr.hs \
  src/Test/Extrapolate/Core.hs \
  src/Test/Extrapolate/ConditionalGeneralization.hs \
  bench/diff.hs
bench/eq: \
  bench/eq.hs \
  mk/toplibs
bench/eq.o: \
  src/Test/Extrapolate/Utils.hs \
  src/Test/Extrapolate/TypeBinding.hs \
  src/Test/Extrapolate/Testable.hs \
  src/Test/Extrapolate/Speculation.hs \
  src/Test/Extrapolate.hs \
  src/Test/Extrapolate/IO.hs \
  src/Test/Extrapolate/Generalization.hs \
  src/Test/Extrapolate/Generalizable.hs \
  src/Test/Extrapolate/Generalizable/Derive.hs \
  src/Test/Extrapolate/Expr.hs \
  src/Test/Extrapolate/Core.hs \
  src/Test/Extrapolate/ConditionalGeneralization.hs \
  bench/eq.hs
bench/false: \
  bench/false.hs \
  mk/toplibs
bench/false.o: \
  src/Test/Extrapolate/Utils.hs \
  src/Test/Extrapolate/TypeBinding.hs \
  src/Test/Extrapolate/Testable.hs \
  src/Test/Extrapolate/Speculation.hs \
  src/Test/Extrapolate.hs \
  src/Test/Extrapolate/IO.hs \
  src/Test/Extrapolate/Generalization.hs \
  src/Test/Extrapolate/Generalizable.hs \
  src/Test/Extrapolate/Generalizable/Derive.hs \
  src/Test/Extrapolate/Expr.hs \
  src/Test/Extrapolate/Core.hs \
  src/Test/Extrapolate/ConditionalGeneralization.hs \
  bench/false.hs
bench/ord: \
  bench/ord.hs \
  mk/toplibs
bench/ord.o: \
  src/Test/Extrapolate/Utils.hs \
  src/Test/Extrapolate/TypeBinding.hs \
  src/Test/Extrapolate/Testable.hs \
  src/Test/Extrapolate/Speculation.hs \
  src/Test/Extrapolate.hs \
  src/Test/Extrapolate/IO.hs \
  src/Test/Extrapolate/Generalization.hs \
  src/Test/Extrapolate/Generalizable.hs \
  src/Test/Extrapolate/Generalizable/Derive.hs \
  src/Test/Extrapolate/Expr.hs \
  src/Test/Extrapolate/Core.hs \
  src/Test/Extrapolate/ConditionalGeneralization.hs \
  bench/ord.hs
bench/true: \
  bench/true.hs \
  mk/toplibs
bench/true.o: \
  src/Test/Extrapolate/Utils.hs \
  src/Test/Extrapolate/TypeBinding.hs \
  src/Test/Extrapolate/Testable.hs \
  src/Test/Extrapolate/Speculation.hs \
  src/Test/Extrapolate.hs \
  src/Test/Extrapolate/IO.hs \
  src/Test/Extrapolate/Generalization.hs \
  src/Test/Extrapolate/Generalizable.hs \
  src/Test/Extrapolate/Generalizable/Derive.hs \
  src/Test/Extrapolate/Expr.hs \
  src/Test/Extrapolate/Core.hs \
  src/Test/Extrapolate/ConditionalGeneralization.hs \
  bench/true.hs
eg/calculator: \
  eg/calculator.hs \
  mk/toplibs
eg/calculator.o: \
  src/Test/Extrapolate/Utils.hs \
  src/Test/Extrapolate/TypeBinding.hs \
  src/Test/Extrapolate/Testable.hs \
  src/Test/Extrapolate/Speculation.hs \
  src/Test/Extrapolate.hs \
  src/Test/Extrapolate/IO.hs \
  src/Test/Extrapolate/Generalization.hs \
  src/Test/Extrapolate/Generalizable.hs \
  src/Test/Extrapolate/Generalizable/Derive.hs \
  src/Test/Extrapolate/Expr.hs \
  src/Test/Extrapolate/Core.hs \
  src/Test/Extrapolate/ConditionalGeneralization.hs \
  eg/calculator.hs
eg/gencalc: \
  eg/gencalc.hs \
  mk/toplibs
eg/gencalc.o: \
  src/Test/Extrapolate/Utils.hs \
  src/Test/Extrapolate/TypeBinding.hs \
  src/Test/Extrapolate/Testable.hs \
  src/Test/Extrapolate/Speculation.hs \
  src/Test/Extrapolate.hs \
  src/Test/Extrapolate/IO.hs \
  src/Test/Extrapolate/Generalization.hs \
  src/Test/Extrapolate/Generalizable.hs \
  src/Test/Extrapolate/Generalizable/Derive.hs \
  src/Test/Extrapolate/Expr.hs \
  src/Test/Extrapolate/Core.hs \
  src/Test/Extrapolate/ConditionalGeneralization.hs \
  eg/gencalc.hs
eg/heap: \
  eg/heap.hs \
  mk/toplibs
eg/heap.o: \
  src/Test/Extrapolate/Utils.hs \
  src/Test/Extrapolate/TypeBinding.hs \
  src/Test/Extrapolate/Testable.hs \
  src/Test/Extrapolate/Speculation.hs \
  src/Test/Extrapolate.hs \
  src/Test/Extrapolate/IO.hs \
  src/Test/Extrapolate/Generalization.hs \
  src/Test/Extrapolate/Generalizable.hs \
  src/Test/Extrapolate/Generalizable/Derive.hs \
  src/Test/Extrapolate/Expr.hs \
  src/Test/Extrapolate/Core.hs \
  src/Test/Extrapolate/ConditionalGeneralization.hs \
  eg/heap.hs
eg/int: \
  eg/int.hs \
  mk/toplibs
eg/int.o: \
  src/Test/Extrapolate/Utils.hs \
  src/Test/Extrapolate/TypeBinding.hs \
  src/Test/Extrapolate/Testable.hs \
  src/Test/Extrapolate/Speculation.hs \
  src/Test/Extrapolate.hs \
  src/Test/Extrapolate/IO.hs \
  src/Test/Extrapolate/Generalization.hs \
  src/Test/Extrapolate/Generalizable.hs \
  src/Test/Extrapolate/Generalizable/Derive.hs \
  src/Test/Extrapolate/Expr.hs \
  src/Test/Extrapolate/Core.hs \
  src/Test/Extrapolate/ConditionalGeneralization.hs \
  eg/int.hs
eg/list: \
  eg/list.hs \
  mk/toplibs
eg/list.o: \
  src/Test/Extrapolate/Utils.hs \
  src/Test/Extrapolate/TypeBinding.hs \
  src/Test/Extrapolate/Testable.hs \
  src/Test/Extrapolate/Speculation.hs \
  src/Test/Extrapolate.hs \
  src/Test/Extrapolate/IO.hs \
  src/Test/Extrapolate/Generalization.hs \
  src/Test/Extrapolate/Generalizable.hs \
  src/Test/Extrapolate/Generalizable/Derive.hs \
  src/Test/Extrapolate/Expr.hs \
  src/Test/Extrapolate/Core.hs \
  src/Test/Extrapolate/ConditionalGeneralization.hs \
  eg/list.hs
eg/overflow8: \
  eg/overflow8.hs \
  mk/toplibs
eg/overflow8.o: \
  src/Test/Extrapolate/Utils.hs \
  src/Test/Extrapolate/TypeBinding.hs \
  src/Test/Extrapolate/Testable.hs \
  src/Test/Extrapolate/Speculation.hs \
  src/Test/Extrapolate.hs \
  src/Test/Extrapolate/IO.hs \
  src/Test/Extrapolate/Generalization.hs \
  src/Test/Extrapolate/Generalizable.hs \
  src/Test/Extrapolate/Generalizable/Derive.hs \
  src/Test/Extrapolate/Expr.hs \
  src/Test/Extrapolate/Core.hs \
  src/Test/Extrapolate/ConditionalGeneralization.hs \
  eg/overflow8.hs
eg/overflow: \
  eg/overflow.hs \
  mk/toplibs
eg/overflow.o: \
  src/Test/Extrapolate/Utils.hs \
  src/Test/Extrapolate/TypeBinding.hs \
  src/Test/Extrapolate/Testable.hs \
  src/Test/Extrapolate/Speculation.hs \
  src/Test/Extrapolate.hs \
  src/Test/Extrapolate/IO.hs \
  src/Test/Extrapolate/Generalization.hs \
  src/Test/Extrapolate/Generalizable.hs \
  src/Test/Extrapolate/Generalizable/Derive.hs \
  src/Test/Extrapolate/Expr.hs \
  src/Test/Extrapolate/Core.hs \
  src/Test/Extrapolate/ConditionalGeneralization.hs \
  eg/overflow.hs
eg/parser: \
  eg/parser.hs \
  mk/toplibs
eg/parser.o: \
  src/Test/Extrapolate/Utils.hs \
  src/Test/Extrapolate/TypeBinding.hs \
  src/Test/Extrapolate/Testable.hs \
  src/Test/Extrapolate/Speculation.hs \
  src/Test/Extrapolate.hs \
  src/Test/Extrapolate/IO.hs \
  src/Test/Extrapolate/Generalization.hs \
  src/Test/Extrapolate/Generalizable.hs \
  src/Test/Extrapolate/Generalizable/Derive.hs \
  src/Test/Extrapolate/Expr.hs \
  src/Test/Extrapolate/Core.hs \
  src/Test/Extrapolate/ConditionalGeneralization.hs \
  eg/parser.hs
eg/redblack: \
  eg/RedBlackSet.hs \
  eg/redblack.hs \
  mk/toplibs
eg/redblack.o: \
  src/Test/Extrapolate/Utils.hs \
  src/Test/Extrapolate/TypeBinding.hs \
  src/Test/Extrapolate/Testable.hs \
  src/Test/Extrapolate/Speculation.hs \
  src/Test/Extrapolate.hs \
  src/Test/Extrapolate/IO.hs \
  src/Test/Extrapolate/Generalization.hs \
  src/Test/Extrapolate/Generalizable.hs \
  src/Test/Extrapolate/Generalizable/Derive.hs \
  src/Test/Extrapolate/Expr.hs \
  src/Test/Extrapolate/Core.hs \
  src/Test/Extrapolate/ConditionalGeneralization.hs \
  eg/RedBlackSet.hs \
  eg/redblack.hs
eg/RedBlackSet.o: \
  eg/RedBlackSet.hs
eg/sorting: \
  eg/sorting.hs \
  mk/toplibs
eg/sorting.o: \
  src/Test/Extrapolate/Utils.hs \
  src/Test/Extrapolate/TypeBinding.hs \
  src/Test/Extrapolate/Testable.hs \
  src/Test/Extrapolate/Speculation.hs \
  src/Test/Extrapolate.hs \
  src/Test/Extrapolate/IO.hs \
  src/Test/Extrapolate/Generalization.hs \
  src/Test/Extrapolate/Generalizable.hs \
  src/Test/Extrapolate/Generalizable/Derive.hs \
  src/Test/Extrapolate/Expr.hs \
  src/Test/Extrapolate/Core.hs \
  src/Test/Extrapolate/ConditionalGeneralization.hs \
  eg/sorting.hs
eg/word-refinements: \
  eg/word-refinements.hs \
  mk/toplibs
eg/word-refinements.o: \
  src/Test/Extrapolate/Utils.hs \
  src/Test/Extrapolate/TypeBinding.hs \
  src/Test/Extrapolate/Testable.hs \
  src/Test/Extrapolate/Speculation.hs \
  src/Test/Extrapolate.hs \
  src/Test/Extrapolate/IO.hs \
  src/Test/Extrapolate/Generalization.hs \
  src/Test/Extrapolate/Generalizable.hs \
  src/Test/Extrapolate/Generalizable/Derive.hs \
  src/Test/Extrapolate/Expr.hs \
  src/Test/Extrapolate/Core.hs \
  src/Test/Extrapolate/ConditionalGeneralization.hs \
  eg/word-refinements.hs
mk/All.o: \
  src/Test/Extrapolate/Utils.hs \
  src/Test/Extrapolate/TypeBinding.hs \
  src/Test/Extrapolate/Testable.hs \
  src/Test/Extrapolate/Speculation.hs \
  src/Test/Extrapolate.hs \
  src/Test/Extrapolate/IO.hs \
  src/Test/Extrapolate/Generalization.hs \
  src/Test/Extrapolate/Generalizable.hs \
  src/Test/Extrapolate/Generalizable/Derive.hs \
  src/Test/Extrapolate/Expr.hs \
  src/Test/Extrapolate/Core.hs \
  src/Test/Extrapolate/ConditionalGeneralization.hs \
  mk/All.hs
mk/Toplibs.o: \
  test/Test.hs \
  src/Test/Extrapolate/Utils.hs \
  src/Test/Extrapolate/TypeBinding.hs \
  src/Test/Extrapolate/Testable.hs \
  src/Test/Extrapolate/Speculation.hs \
  src/Test/Extrapolate.hs \
  src/Test/Extrapolate/IO.hs \
  src/Test/Extrapolate/Generalization.hs \
  src/Test/Extrapolate/Generalizable.hs \
  src/Test/Extrapolate/Generalizable/Derive.hs \
  src/Test/Extrapolate/Expr.hs \
  src/Test/Extrapolate/Core.hs \
  src/Test/Extrapolate/ConditionalGeneralization.hs \
  mk/Toplibs.hs
src/Test/Extrapolate/ConditionalGeneralization.o: \
  src/Test/Extrapolate/Utils.hs \
  src/Test/Extrapolate/Speculation.hs \
  src/Test/Extrapolate/Generalization.hs \
  src/Test/Extrapolate/Expr.hs \
  src/Test/Extrapolate/ConditionalGeneralization.hs
src/Test/Extrapolate/Core.o: \
  src/Test/Extrapolate/Utils.hs \
  src/Test/Extrapolate/TypeBinding.hs \
  src/Test/Extrapolate/Testable.hs \
  src/Test/Extrapolate/Speculation.hs \
  src/Test/Extrapolate/Generalization.hs \
  src/Test/Extrapolate/Generalizable.hs \
  src/Test/Extrapolate/Expr.hs \
  src/Test/Extrapolate/Core.hs \
  src/Test/Extrapolate/ConditionalGeneralization.hs
src/Test/Extrapolate/Expr.o: \
  src/Test/Extrapolate/Expr.hs
src/Test/Extrapolate/Generalizable/Derive.o: \
  src/Test/Extrapolate/Utils.hs \
  src/Test/Extrapolate/TypeBinding.hs \
  src/Test/Extrapolate/Generalizable.hs \
  src/Test/Extrapolate/Generalizable/Derive.hs \
  src/Test/Extrapolate/Expr.hs
src/Test/Extrapolate/Generalizable.o: \
  src/Test/Extrapolate/Utils.hs \
  src/Test/Extrapolate/TypeBinding.hs \
  src/Test/Extrapolate/Generalizable.hs \
  src/Test/Extrapolate/Expr.hs
src/Test/Extrapolate/Generalization.o: \
  src/Test/Extrapolate/Generalization.hs \
  src/Test/Extrapolate/Expr.hs
src/Test/Extrapolate/IO.o: \
  src/Test/Extrapolate/Utils.hs \
  src/Test/Extrapolate/TypeBinding.hs \
  src/Test/Extrapolate/Testable.hs \
  src/Test/Extrapolate/Speculation.hs \
  src/Test/Extrapolate/IO.hs \
  src/Test/Extrapolate/Generalization.hs \
  src/Test/Extrapolate/Generalizable.hs \
  src/Test/Extrapolate/Expr.hs \
  src/Test/Extrapolate/Core.hs \
  src/Test/Extrapolate/ConditionalGeneralization.hs
src/Test/Extrapolate.o: \
  src/Test/Extrapolate/Utils.hs \
  src/Test/Extrapolate/TypeBinding.hs \
  src/Test/Extrapolate/Testable.hs \
  src/Test/Extrapolate/Speculation.hs \
  src/Test/Extrapolate.hs \
  src/Test/Extrapolate/IO.hs \
  src/Test/Extrapolate/Generalization.hs \
  src/Test/Extrapolate/Generalizable.hs \
  src/Test/Extrapolate/Generalizable/Derive.hs \
  src/Test/Extrapolate/Expr.hs \
  src/Test/Extrapolate/Core.hs \
  src/Test/Extrapolate/ConditionalGeneralization.hs
src/Test/Extrapolate/Speculation.o: \
  src/Test/Extrapolate/Utils.hs \
  src/Test/Extrapolate/Speculation.hs \
  src/Test/Extrapolate/Expr.hs
src/Test/Extrapolate/Testable.o: \
  src/Test/Extrapolate/Utils.hs \
  src/Test/Extrapolate/TypeBinding.hs \
  src/Test/Extrapolate/Testable.hs \
  src/Test/Extrapolate/Generalizable.hs \
  src/Test/Extrapolate/Expr.hs
src/Test/Extrapolate/TypeBinding.o: \
  src/Test/Extrapolate/TypeBinding.hs
src/Test/Extrapolate/Utils.o: \
  src/Test/Extrapolate/Utils.hs
test/derive.o: \
  test/Test.hs \
  test/derive.hs \
  src/Test/Extrapolate/Utils.hs \
  src/Test/Extrapolate/TypeBinding.hs \
  src/Test/Extrapolate/Testable.hs \
  src/Test/Extrapolate/Speculation.hs \
  src/Test/Extrapolate.hs \
  src/Test/Extrapolate/IO.hs \
  src/Test/Extrapolate/Generalization.hs \
  src/Test/Extrapolate/Generalizable.hs \
  src/Test/Extrapolate/Generalizable/Derive.hs \
  src/Test/Extrapolate/Expr.hs \
  src/Test/Extrapolate/Core.hs \
  src/Test/Extrapolate/ConditionalGeneralization.hs
test/derive: \
  test/Test.hs \
  test/derive.hs \
  mk/toplibs
test/extrapolate.o: \
  test/Test.hs \
  test/extrapolate.hs \
  src/Test/Extrapolate/Utils.hs \
  src/Test/Extrapolate/TypeBinding.hs \
  src/Test/Extrapolate/Testable.hs \
  src/Test/Extrapolate/Speculation.hs \
  src/Test/Extrapolate.hs \
  src/Test/Extrapolate/IO.hs \
  src/Test/Extrapolate/Generalization.hs \
  src/Test/Extrapolate/Generalizable.hs \
  src/Test/Extrapolate/Generalizable/Derive.hs \
  src/Test/Extrapolate/Expr.hs \
  src/Test/Extrapolate/Core.hs \
  src/Test/Extrapolate/ConditionalGeneralization.hs
test/extrapolate: \
  test/Test.hs \
  test/extrapolate.hs \
  mk/toplibs
test/step-by-step.o: \
  test/Test.hs \
  test/step-by-step.hs \
  src/Test/Extrapolate/Utils.hs \
  src/Test/Extrapolate/TypeBinding.hs \
  src/Test/Extrapolate/Testable.hs \
  src/Test/Extrapolate/Speculation.hs \
  src/Test/Extrapolate.hs \
  src/Test/Extrapolate/IO.hs \
  src/Test/Extrapolate/Generalization.hs \
  src/Test/Extrapolate/Generalizable.hs \
  src/Test/Extrapolate/Generalizable/Derive.hs \
  src/Test/Extrapolate/Expr.hs \
  src/Test/Extrapolate/Core.hs \
  src/Test/Extrapolate/ConditionalGeneralization.hs
test/step-by-step: \
  test/Test.hs \
  test/step-by-step.hs \
  mk/toplibs
test/Test.o: \
  test/Test.hs \
  src/Test/Extrapolate/Utils.hs \
  src/Test/Extrapolate/TypeBinding.hs \
  src/Test/Extrapolate/Testable.hs \
  src/Test/Extrapolate/Speculation.hs \
  src/Test/Extrapolate.hs \
  src/Test/Extrapolate/IO.hs \
  src/Test/Extrapolate/Generalization.hs \
  src/Test/Extrapolate/Generalizable.hs \
  src/Test/Extrapolate/Generalizable/Derive.hs \
  src/Test/Extrapolate/Expr.hs \
  src/Test/Extrapolate/Core.hs \
  src/Test/Extrapolate/ConditionalGeneralization.hs
test/Test: \
  test/Test.hs \
  mk/toplibs
test/utils.o: \
  test/utils.hs \
  test/Test.hs \
  src/Test/Extrapolate/Utils.hs \
  src/Test/Extrapolate/TypeBinding.hs \
  src/Test/Extrapolate/Testable.hs \
  src/Test/Extrapolate/Speculation.hs \
  src/Test/Extrapolate.hs \
  src/Test/Extrapolate/IO.hs \
  src/Test/Extrapolate/Generalization.hs \
  src/Test/Extrapolate/Generalizable.hs \
  src/Test/Extrapolate/Generalizable/Derive.hs \
  src/Test/Extrapolate/Expr.hs \
  src/Test/Extrapolate/Core.hs \
  src/Test/Extrapolate/ConditionalGeneralization.hs
test/utils: \
  test/utils.hs \
  test/Test.hs \
  mk/toplibs