• Kim Nguyễn's avatar
    Implement a safety-check to guarantee that recursive parametric types · 3aab1b01
    Kim Nguyễn authored
    remain regular. Within their recursive definitions, parametric types
    must always be instantiated with their original parameters and all
    types of mutually recursive definitions must have the same parameters.
    We use Tarjan's strongly connected components algorithm to group type definitions accordingly.