diff options
| author | Kathy Gray | 2014-02-03 22:27:33 +0000 |
|---|---|---|
| committer | Kathy Gray | 2014-02-03 22:27:33 +0000 |
| commit | 4cd9307685744430c192d897f7c02bed9bd43de3 (patch) | |
| tree | 5fd649c849e5a8605bab56e3a513318cd53969f1 /src/pp.ml | |
| parent | 1794061ee083bf95fda8e3422df2c521eff682f8 (diff) | |
More type checking, including coercing 0 and 1 into bits when appropriate (in limited circumstances at the moment due to which expressions are actually checked, so test files should not yet be changed)
Diffstat (limited to 'src/pp.ml')
0 files changed, 0 insertions, 0 deletions