151
97%
master: 96%

Ran 19 Apr 2016 10:43AM UTC

Jobs 1

Files 61

Run time 2s

Badge

Embed ▾

pending completion

Build # 151

Build Type

push

travis-ci

Committed by

DatenMetzgerX

Commit Message

Implement inlining of function calls

Function calls are inlined to perform type inference in the context of the
caller.

The commit also contains the change that equals does not need to be true
even if the types have the same id. The reason for this is, that
a modified type is never equal to the other with the same id. The equals
funciton is used to calculate the difference of two type environments and
if types with the same id are equal, then changes to these are not
shown as differences.

Modification to a record type (like adding or changing properties)
returns now a record type that has the same id as the original one.
This is needed to be able to detect if an argument type in a function
call has changed or not. If the id would change, then there is no way
to detect if the type has been modified (e.g. adding properties) or a
complete new type has been assigned.

fixes #34

Run Details

1152 of 1189 relevant lines covered (96.89%)

144.3 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	151.1	19 Apr 2016 10:43AM UTC	0	96.89	Travis Job 151.1

Source Files on build 151

Detailed source file information is not available for this build.

DatenMetzgerX / ESChecker / 151
97%
master: 96%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 151

DatenMetzgerX / ESChecker / 151 97% master: 96%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 151

DatenMetzgerX / ESChecker / 151
97%
master: 96%

README BADGES
x