summaryrefslogtreecommitdiff
path: root/scripts/strip_local_names.py
blob: d617766bcc1cc1190bc448f99e5b86e4a58a8062 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13

'''
Removes local names. When you don't care about local names but do want
to diff for structural changes, this can help.
'''

import sys

for line in open(sys.argv[1]).readlines():
  if '(tee_local ' in line or '(set_local ' in line or '(get_local ' in line:
    print line[:line.find('$')]
  else:
    print line,