78
84%

Ran 13 Jun 2017 06:35AM UTC

Jobs 1

Files 7

Run time 1s

Badge

Embed ▾

pending completion

Build # 78

Build Type

push

travis-ci

Committed by

jbearer

Commit Message

Improve semantics of proveEqualWith

Since all 'TermEntry's are now 'Termable', we can express the
semantics the 'Equal' goal in a much simpler way. Modulo Maybes, the
evaluation of the rhs can be approximately expressed by 'toTerm . fromTerm'.
This is both simpler and more general than explicitly evaluating arithmetic
expressions. For example, we can now evaluate subexpressiosn (in ADTs eg)
and unify the resulting simplified ADT with an ADT containing a variable on
the lhs.

Run Details

517 of 650 relevant lines covered (79.54%)

0.8 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
4	78.4 (BUILD=stack ARGS="" TESTARGS="--coverage --haddock")	13 Jun 2017 06:35AM UTC	0	79.54	Travis Job 78.4

Source Files on build 78

Detailed source file information is not available for this build.

jbearer / hspl / 78
84%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 78

jbearer / hspl / 78 84%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 78

jbearer / hspl / 78
84%

README BADGES
x