shithub: mc

Download patch

ref: 0116ef24cb193165de85d3a707d4dbd64ba1b60f
parent: f9c8f07de30e44dc51e82d8c8a83553ac36b92f6
author: Ori Bernstein <ori@eigenstate.org>
date: Sat Jul 28 11:40:57 EDT 2012

Fix up type index hacks a bit.

    We rank and order types by their unifiability.