4
84%
master: 84%

Ran 13 Jun 2017 06:35AM UTC

Files 7

Run time 0s

Badge

Embed ▾

Committed 13 Jun 2017 06:00AM UTC coverage: 79.538% (+3.7%) from 75.885%

Job # BUILD=stack ARGS="" TESTARGS="--coverage --haddock"

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

jbearer / hspl / 78 / 4
84%
master: 84%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 78.4 (BUILD=stack ARGS="" TESTARGS="--coverage --haddock")

jbearer / hspl / 78 / 4 84% master: 84%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 78.4 (BUILD=stack ARGS="" TESTARGS="--coverage --haddock")

jbearer / hspl / 78 / 4
84%
master: 84%

README BADGES
x