• Kim Nguyễn's avatar
    Properly check constraints on monomprhic variable during constraint generation: · 8ff33414
    Kim Nguyễn authored
    when a constraint 'a < t or t < 'a with 'a being monomorphic occurs during constraint generation, we check whether
    it holds for all 'a, that is we use plain subtyping.
    (It generalizes the fact that 'a < Any or Empty < 'a hold for monomorphic variables, but also accounts for constraints such as 'a < 'a | t and so on).
types.ml 115 KB