Zilliqa / scilla / 2489

61%

push

travis-ci-com

Name disambiguation duct tape and wood glue (#905)

* Remove FlattenedName, refactor DataTypeDictionary

* Datatypes and TypeUtil done

* Locally defined types and constructors should disambiguate to qualified name

* Recursion glued together

* Glue RecursionPrinciples to disambiguation

* Liberal application of duct tape

* Cashflow duct tape

* SanityChecker exposed to sledge hammer

* Bugfix - file extention should not be part of the filename

* Stapling of TypeChecker and TypeInfo to disambiguation

* Fix filename computation

* Save game

* Beginning of dealing with FrontEndParser and RunnerUtil

* Attempting to figure out how library imports work.

* Almost fix, except for an odd build error

* src/base welded together completely

* Read addresses from init file, if specified

* Saving the game because it contains a bug close to where there is a build error.

* Checker appears to be done

* Evaluator done, except that message fields need to be translated to global names

* Incoming messages fixed, but still problems with the eval continuation

* Fixed EvalUtil. Still need to fix Runner.ml, but disambiguation is being done

* Runner and executables fixed. Still need to deal with tests

* Tests now build, but fail when run

* Bugfix in JSON parser, and added _this_address to extlib_dup_entry.json to trigger correct error

* Save game. Changed disambiguation dictionary datastructure, but not all subsequent changes implemented.

* Disambiguator to handle multiple imports to same namespace

* Disambiguation bugfixes, and updated gold files

* Disambiguation bugfixes, and updated gold files

* Bugfix. Contract library entries should be added to imported entries rather than replace them.

* Bugfixes, and pending issue with import_lib expecting a filename rather than a library name

* Fixed issue with missing _this_address in checker init.json, fixed output json names, and updated gold files... (continued)

795 of 795 new or added lines in 22 files covered. (100.0%)

3353 of 6092 relevant lines covered (55.04%)

45856.25 hits per line