6
83%
master: 84%

Ran 27 Apr 2017 11:07PM UTC

Files 1

Run time 0s

Badge

Embed ▾

Committed 27 Apr 2017 11:01PM UTC coverage: 54.255%. Remained the same

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

Build Type

push

travis-ci

Committed by

jbearer

Commit Message

Redesign the representation of terms to avoid non-portable generics.

This is a big pivot. Instead of using GHC.Generics to represent
deconstructed Haskell types, we use a more ad hoc approach. Primitives
are stored as constants, lists are stored as lists of terms, tuples
are represented using a "Product" term constructor.

ADTs can be constructed by storing an ADT data constructor along with
a term which, when unified with a constant, can be passed to the
constructor to create the ADT value.

This system is much better than the old direction: it's far more
portable and way easier to understand.

Run Details

51 of 94 relevant lines covered (54.26%)

0.54 hits per line

jbearer / hspl / 41 / 6
83%
master: 84%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

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

jbearer / hspl / 41 / 6 83% master: 84%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

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

jbearer / hspl / 41 / 6
83%
master: 84%

README BADGES
x