1
62%
master: 62%

Ran 22 Dec 2018 08:42PM UTC

Files 380

Run time 14s

Badge

Embed ▾

Committed 22 Dec 2018 08:27PM UTC coverage: 61.862% (-0.08%) from 61.937%

Job # TERM=dumb

Build Type

push

travis-ci

Committed by

peq

Commit Message

Generics refactor

- move variable binding to its own type "VariableBinding"
- VariableBinding now knows what the free variables are
- the match method now knows on which side variables occur (Wurst will
always only have at most one side with type variables)

fixes #775

Run Details

14232 of 23006 relevant lines covered (61.86%)

0.62 hits per line

wurstscript / WurstScript / 838 / 1
62%
master: 62%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 838.1 (TERM=dumb)

wurstscript / WurstScript / 838 / 1 62% master: 62%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 838.1 (TERM=dumb)

wurstscript / WurstScript / 838 / 1
62%
master: 62%

README BADGES
x