extrapolate-0.3.3: generalize counter-examples of test properties

Safe HaskellNone
LanguageHaskell2010

Test.Extrapolate.New

Description

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.

Synopsis

Documentation

lgg1 :: Expr -> Expr -> Expr Source #

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])