about summary refs log tree commit diff
path: root/tests
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2005-11-04T15·17+0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2005-11-04T15·17+0000
commit5bf939885a8bfca9b66a2440bf52330c5fde6477 (patch)
treece78c95b1bd52a5d9fd9cf6eece4733480c5ad94 /tests
parent1f285cf5563047f236213c8eadc91324b69af42b (diff)
* Memoise checkVarDefs since internally produced terms (i.e., not the
  result of parsing) can have very heavy sharing, causing exponential
  complexity if we naively recurse into them.  ATerms are graphs, not
  trees!

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