4
83%
master: 84%

Ran 11 Jun 2017 12:14AM UTC

Files 7

Run time 0s

Badge

Embed ▾

Committed 11 Jun 2017 12:05AM UTC coverage: 79.538% (+0.7%) from 78.811%

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 / 74 / 4
83%
master: 84%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

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

jbearer / hspl / 74 / 4 83% master: 84%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

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

jbearer / hspl / 74 / 4
83%
master: 84%

README BADGES
x