diff options
| author | Hugo Herbelin | 2014-12-02 18:44:01 +0100 |
|---|---|---|
| committer | Hugo Herbelin | 2014-12-02 22:39:21 +0100 |
| commit | 2aedef1359e2950d2c1c58b4374dbead6e859883 (patch) | |
| tree | 47ee03d9cd7c02bf2a02de8ba1170391e5487f77 /dev | |
| parent | e1e1a13b015e4963bc5339666c292398298d7bdf (diff) | |
Being consistent in making arbitrary choices in recursive calls to
evar_define.
Interestingly, the added choose in evarconv.ml allows solve_evar_evar
to be observationally commutative, in the sense of not either fail or
succeed in compiling the stdlib whether problems are given in the
left-to-right or right-to-left order.
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions