47
84%

Ran 04 May 2017 05:12AM UTC

Jobs 1

Files 1

Run time 1s

Badge

Embed ▾

pending completion

Build # 47

Build Type

push

travis-ci

Committed by

jbearer

Commit Message

Represent lists recursively instead of storing a list of Terms.

Term = ...
     | List [Term a]

becomes

Term = ...
     | List (Term a) (Term [a])
     | Nil

This allows better deconstruction of lists for unification. For
example, we can now express something like the Prolog term [a|b|X]

Run Details

57 of 102 relevant lines covered (55.88%)

0.56 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
6	47.6 (BUILD=stack ARGS="" TESTARGS="--coverage --haddock")	04 May 2017 05:12AM UTC	0	55.88	Travis Job 47.6

Source Files on build 47

Detailed source file information is not available for this build.

jbearer / hspl / 47
84%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 47

jbearer / hspl / 47 84%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 47

jbearer / hspl / 47
84%

README BADGES
x