search

herd / herdtools7

The Herd toolsuite to deal with .cat memory models (version 7.xx)
Other
215 stars 54 forks source link

[asl] Refactoring typing code #861

Closed Roman-Manevich closed 1 month ago

Roman-Manevich commented 3 months ago

Breaking up annotate_expr, annotate_lexpr, and annotate_stmt into smaller functions.

HadrienRenaud commented 3 months ago

I have no idea why this helps you and I think that this is less readable than what it was before but I won't oppose to this refacto.