67
83%
master: 84%

Ran 02 Jun 2017 05:13AM UTC

Jobs 1

Files 7

Run time 1s

Badge

Embed ▾

pending completion

Build # 67

Build Type

push

travis-ci

Committed by

jbearer

Commit Message

Change the representation of ADT terms to facilitate generic manipulations.

Specifically, we replace tuples with type-erased lists.

Tuples are a PITA, so let's get rid of them as early in the pipeline as
possible. Of course, getting rid of them turned out to be an even bigger
PITA, but now that's done and it's much easier to write generic functions
over type-erased lists than tuples.

Of course, we sacrificed some degree of type safety through the erasure,
and there are more calls to 'error' in the codebase than there were before.
In theory, though, those errors should never surface, because the higher
level API which does the type erasure is itself typesafe.

Run Details

485 of 644 relevant lines covered (75.31%)

0.75 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
4	67.4 (BUILD=stack ARGS="" TESTARGS="--coverage --haddock")	02 Jun 2017 05:13AM UTC	0	75.31	Travis Job 67.4

Source Files on build 67

Detailed source file information is not available for this build.

jbearer / hspl / 67
83%
master: 84%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 67

jbearer / hspl / 67 83% master: 84%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 67

jbearer / hspl / 67
83%
master: 84%

README BADGES
x