• Andrei Paskevich's avatar
    rework eval_match · 132bd08d
    Andrei Paskevich authored
    - in particular, we simplify function definitions before testing
    them for linearity (this allows to inline array updates which are
    defined via a record update {| a with map = a.map[i <- v] |}).
    We really need to add some memoization here, otherwise we might
    pay too much.
    132bd08d
parser.pre.mly 31.5 KB