2
61%
master: 61%

Ran 13 Jun 2020 01:39PM UTC

Files 41

Run time 2s

Badge

Embed ▾

Committed 13 Jun 2020 01:33PM UTC coverage: 55.833% (+0.5%) from 55.318%

Job # OCAML_VERSION=4.08.1

Build Type

push

travis-ci-com

Committed by

web-flow

Commit Message

Save and restore values from type environment. Don't copy it all (#857)

* Save and restore values from type environment. Don't copy it all

* Remove unused function TEnv.append

* Review request: Make restore type internal

* Remove TypeCache as it is totally dead

* Review suggestion: Rename env_wrapper to with_extended_env

* Use CPS monad for the type checker (#859)

* Use the CPS monad for type checking.

This change removes all the error wrappers, thus
impacting all the error messages. I'm kind of inclined
towards these less verbose erro messages, so will fix
the difference if needed later.

* Use our monadic foldM instead of List.fold_until

* Bunch of error location improvements

* Update tests missed earlier

* Remove printf comment

* Review suggestion: Rename env_wrapper to with_extended_env

* make fmt

Run Details

2953 of 5289 relevant lines covered (55.83%)

15355.79 hits per line

Zilliqa / scilla / 2296 / 2
61%
master: 61%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 2296.2 (OCAML_VERSION=4.08.1)

Zilliqa / scilla / 2296 / 2 61% master: 61%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 2296.2 (OCAML_VERSION=4.08.1)

Zilliqa / scilla / 2296 / 2
61%
master: 61%

README BADGES
x