Skip to content

Hashing for types (ast-typed)

E. Rivas requested to merge er433/typer/hash_types into dev

type:internal

For LIGO developers

This MR introduces derivation of hashing of types. Before printing errors, some types are improved by hashing the whole context and then finding occurrences of known types in the types to print (see changes in tests).

Changelog details:

Edited by E. Rivas

Merge request reports