unison/unison-src/transcripts/anf-tests.md

scratch/main> builtins.merge

This tests a variable related bug in the ANF compiler.

The nested let would get flattened out, resulting in:

bar = result

which would be handled by renaming. However, the context portion of the rest of the code was not being renamed correctly, so bar would remain in the definition of baz.

foo _ =
  id x = x
  void x = ()
  bar = let
    void (Debug.watch "hello" "hello")
    result = 5
    void (Debug.watch "goodbye" "goodbye")
    result
  baz = id bar
  baz

> !foo

scratch/main> add