4
83%
master: 84%

Ran 05 Aug 2017 05:52AM UTC

Files 9

Run time 0s

Badge

Embed ▾

Committed 05 Aug 2017 03:56AM UTC coverage: 85.112% (+1.0%) from 84.15%

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

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

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

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

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

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

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

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

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

README BADGES
x