You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Yeah, I'm pretty sure I know what went wrong here. The regression is likely due to #2055 and I believe I can fix it by using an optimization similar to the one we used back when with was syntactic sugar.
Related #1960
When I run
dhall
against a file with a lot of chainedwith
statements, dhall1.36.0
seems to choke while dhall1.35.0
executes the file quickly.I've created a reproduction repository here: https://github.com/ggilmore/dhall-performance-regression-example-with
Run
dhall 1.35.0
withdhall --file=src/fast-1.35.0/fast.dhall
- see that the command executes quicklyRun
dhall 1.36.0
withdhall --file=src/slow-1.36.0/slow.dhall
- see that the command never terminatesThe text was updated successfully, but these errors were encountered: