Test.Extrapolate.New

This module is otherwise unused in the code.

This is a stub of a new algorithm that is smarter and generalizes from several initial counter-examples rather than just one.

When this gets finished, it should be moved into Test.Extrapolate.Core.

Documentation

generalizedCounterExamples :: Testable a => Int -> a -> [Exprs]

lgg :: Exprs -> Exprs -> Exprs

lgg1 :: Expr -> Expr -> Expr

Computes the least general generalization of two expressions

lgg1 (expr [0,0]) (expr [1,1])

_,_

:: [Int] (holes: Int, Int) > lgg1 (expr [1,1::Int]) (expr [2,2,2::Int]) _:_:_ :: [Int] (holes: Int, Int, [Int])