diff options
| author | Gabriel Scherer | 2015-06-26 21:54:11 +0200 |
|---|---|---|
| committer | Maxime Dénès | 2016-06-27 12:45:41 +0200 |
| commit | 2e9f7fa33a229634ec536b4dcdbf59ab666749fc (patch) | |
| tree | f3828836b9a6f0a17dac69f9db870a9d90835010 /lib | |
| parent | c1caa158add73e6e6028ade81a0cb4540a845d18 (diff) | |
minor clarifications in constrintern.ml:sort_fields
Note that turning
let boolean = not regular in
if boolean && complete then ...;
if boolean && complete then ...;
into
if not regular && complete then ...;
if not regular && complete then ...;
has absolutely no performance cost: negation inside a conditional is
not computed as a boolean, it only flips the branches. The code is
more readable because "boolean" was a terrible variable name.
Diffstat (limited to 'lib')
0 files changed, 0 insertions, 0 deletions