• Kim Nguyễn's avatar
    - Introduce an abstract type for precedences used during pretty-printing. · 148cae0c
    Kim Nguyễn authored
    - Change the precedence of the XML constructor to be stronger than the set-theoretic operations (compatibility with previous CDuce)
    - Pretty-printing of regular expressions. When the input type contains a sequence type, print the sequence as a regular expression. Do not print empty sequences unless the rest of the atom components is finite:
         `a |`b | `nil
    will be printed as
         [] | `a | `b
    but
         Atom \ 'a
    will be printed as
         Atom \'a
    and not
         Atom \ ('a | `nil) | []
    - Remove Arrow from positive arrow part (unless it is the only component)
    - Fix a bug where records would be printed instead of attributes
    148cae0c
types.ml 114 KB