dcao/babble

Identical expressions are not compressed.

mwillsey opened this issue · 1 comments

On 9cf4759, the following is totally uncompressed:

(list
  (@ foo (@ (@ + (@ f x)) (@ f x)))
  (@ foo (@ (@ + (@ f x)) (@ f x)))
)

Changing basically anything about one of the inputs, (foo -> bar, x -> y) makes it work again.

simpler example

(list 1 2 3)
(list 1 2 3)
(list 1 2 3)
(list 1 2 3)