about summary refs log tree commit diff
path: root/testpkgs
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2003-11-05T16·20+0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2003-11-05T16·20+0000
commite17e95a82892b31c8063f2ace1b21c79e82e6f6d (patch)
tree3e2475f7cb04ea24286656eb05d8c180188d3a07 /testpkgs
parent80bb477cc4ea5226ae760726730b3e09d21559de (diff)
* Print a shared textual ATerm if the term if very large. Due to
  substitutions, Fix terms are very large when printed as trees (in 
  memory, they are quite compact due to sharing).

Diffstat (limited to 'testpkgs')
0 files changed, 0 insertions, 0 deletions