97
83%
master: 84%

Ran 05 Aug 2017 05:52AM UTC

Jobs 1

Files 9

Run time 1s

Badge

Embed ▾

pending completion

Build # 97

Build Type

push

travis-ci

Committed by

jbearer

Commit Message

Factor out common implementation of Unifier and Renamer.

Both of these types map (forall a. TermEntry a => Var a) to
(forall a. TermEntry a => f a), where f is either Term or Var. Worse,
they have a complicated implementation without a real interface, making
for very clunky code.

This patch creates a module dedicated to this data structure (no
parameterized by f) and exports an interface similar to that of
Data.Map, greatly simplifying the unification code.

Run Details

949 of 1115 relevant lines covered (85.11%)

0.85 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
4	97.4 (BUILD=stack ARGS="" TESTARGS="--coverage --haddock")	05 Aug 2017 05:52AM UTC	0	85.11	Travis Job 97.4

Source Files on build 97

Detailed source file information is not available for this build.

jbearer / hspl / 97
83%
master: 84%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 97

jbearer / hspl / 97 83% master: 84%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 97

jbearer / hspl / 97
83%
master: 84%

README BADGES
x