diff options
| author | Alasdair Armstrong | 2017-07-10 17:18:10 +0100 |
|---|---|---|
| committer | Alasdair Armstrong | 2017-07-10 17:18:10 +0100 |
| commit | 61e964c60edad9209ba7fb4671720099b51c8571 (patch) | |
| tree | 24564332b99a3e0b79141e902f1f649717cdd88e /src/initial_check.ml | |
| parent | 618e00ed168f9224d20ac05d94928fb1fb0ff526 (diff) | |
Added tests for union constructor matching
Diffstat (limited to 'src/initial_check.ml')
0 files changed, 0 insertions, 0 deletions