36
83%
master: 84%

Ran 27 Apr 2017 06:59PM UTC

Jobs 1

Files 1

Run time 0s

Badge

Embed ▾

pending completion

Build # 36

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

47 of 94 relevant lines covered (50.0%)

0.5 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
3	36.3 (BUILD=stack ARGS="" TESTARGS="--coverage")	27 Apr 2017 06:59PM UTC	0	50.0	Travis Job 36.3

Source Files on build 36

Detailed source file information is not available for this build.

jbearer / hspl / 36
83%
master: 84%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 36

jbearer / hspl / 36 83% master: 84%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 36

jbearer / hspl / 36
83%
master: 84%

README BADGES
x