58
83%
master: 84%

Ran 23 May 2017 03:49AM UTC

Jobs 1

Files 6

Run time 1s

Badge

Embed ▾

pending completion

Build # 58

Build Type

push

travis-ci

Committed by

jbearer

Commit Message

Replace program data structure with distinct self-contained goals.

Instead of creating a unified collection of all clauses in a program,
we store with each 'PredGoal' the list of clauses which can be used to
prove that goal. This has a few advantages:

* Reduces search times for matching clauses in large programs
* Allows clauses to be defined separately, rather than all in one
    "hspl $" block, which makes it easer to write predicates that
    are not part of a program but rather are meant to be imported
    into other HSPL programs.
* Easily allows the attachment of documentation and type annotations
    to each predicate. Providing a type annotation with each predicate
    better utilizes Haskell's type inference, and allows the definition
    of generic predicates.
* Predicates are handled through the corresponding 'Predicate' object,
   rather than at runtime via strings, which reduces the risk of name
   clashes and similar bugs.

Run Details

457 of 607 relevant lines covered (75.29%)

0.75 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
4	58.4 (BUILD=stack ARGS="" TESTARGS="--coverage --haddock")	23 May 2017 03:49AM UTC	0	75.29	Travis Job 58.4

Source Files on build 58

Detailed source file information is not available for this build.

jbearer / hspl / 58
83%
master: 84%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 58

jbearer / hspl / 58 83% master: 84%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 58

jbearer / hspl / 58
83%
master: 84%

README BADGES
x