search

Zilliqa / scilla

Scilla - A Smart Contract Intermediate Level Language
https://scilla-lang.org
GNU General Public License v3.0
240 stars 79 forks source link

Re-enable caching of libraries for staging #179

Open jjcnn opened 6 years ago

jjcnn commented 6 years ago

Issue #143 disabled caching of libraries, because the cache needs to contain the typed AST as well as the type mappings of libraries.

Caching needs to be re-enabled. This means having to store the typed AST in the cache which has not been done before.

jjcnn commented 6 years ago

It is also necessary to re-enable pretty-printing in the hash_lib function. It has been disabled because staging prevents us from printing s-expressions directly.

jjcnn commented 5 years ago

The functions parse_rep and get_rep_str in Rep are only there because they are used by TypeCache.ml. It would be great if they could be eliminated somehow.

jjcnn commented 5 years ago

Consider enabling caching for type_checker.ml as well.