• Andrei Paskevich's avatar
    whyml: move ghost info out of vty_(value|arrow) · 4aee41ca
    Andrei Paskevich authored
    Instead, we now store the ghostness boolean directly
    in pvsymbols, pssymbols, ppatterns, and exprs. We thus
    remove one level of indirection, and vty_value becomes
    a one-field record which we remove in the next commit.
mlw_ty.ml 30.1 KB