shithub: mc

Download patch

ref: 12b9ad5cea789d9a3fc5c6e57e556877d02bff38
parent: 42e46e1b22d03c57fa8c424b46c3645e921966e0
author: Ori Bernstein <ori@eigenstate.org>
date: Mon Aug 19 07:53:50 EDT 2013

Don't recurse infinitely when duplicating types.

    Now, the type subsitution map contains all types that we are
    specializing, rather than just the params.

    When we duplicate a type, we put it into the map, so that we look it up
    and return it. This prevents infinite recursion when specializing.