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/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/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