diff options
author | Kartik K. Agaram <vc@akkartik.com> | 2016-09-10 09:59:32 -0700 |
---|---|---|
committer | Kartik K. Agaram <vc@akkartik.com> | 2016-09-10 09:59:32 -0700 |
commit | 3cfa56a923e2ff96c01ba932ecc9cc4ec38e616d (patch) | |
tree | 14091a2e015687e8c3143d9451ea357c9d1f4b5b /087file.cc | |
parent | 7303b27fe555644daf45b89e9feb1908f1f085e4 (diff) | |
download | mu-3cfa56a923e2ff96c01ba932ecc9cc4ec38e616d.tar.gz |
3313
Allow type-trees to be ordered in some consistent fashion. This could be quite inefficient since we often end up comparing the four sub-trees of the two arguments in 4 different ways. So far it isn't much of a time sink.
Diffstat (limited to '087file.cc')
0 files changed, 0 insertions, 0 deletions