• Kim Nguyễn's avatar
    Fix a bug where some variables appeared artificially as invariant, · 3c1254ea
    Kim Nguyễn authored
    because they appeared both on negative and positive occurences in bdds
    that are equivalent to the empty type.
    
    For instance t = ('a | (Int\'a) | Int)
    
    We use product normalization to clean up this.
    
    Use the new debugging infrastructure to see what is going on during constraint solving.
    3c1254ea
types.ml 120 KB