• Kim Nguyễn's avatar
    More work on pretty-printing: · 83ef66d7
    Kim Nguyễn authored
    - Simplify the pretty-printing descriptor type
    - Fix a bug where some unions were shown as intersections
    - Correctly display parentheses where needed (issue: #17)
    - Prevent sharing for "small" subtrees (AST less than 6 nodes), so:
      (Int -> Int) -> Int -> Int
      is not shown as:
      X1 -> X1 where X1 = Int -> Int
      (but bigger types are).
    83ef66d7
types.ml 113 KB