diff options
| author | Kathy Gray | 2016-08-08 16:25:41 +0100 |
|---|---|---|
| committer | Kathy Gray | 2016-08-08 16:25:41 +0100 |
| commit | c1c81a1747fdb61a04f75524b949998aaf763db3 (patch) | |
| tree | 16eb8026cf578ff778c3672bbc49adbad9779ec1 /src/spec_analysis.ml | |
| parent | 19b0a0cbfa7b1358a6971e8261a3244ee28e6255 (diff) | |
Fix bug in type checker that ignored some pattern's constraints; fix second bug that didn't cope properly with flow sensitive analysis across more than two case branches.
Diffstat (limited to 'src/spec_analysis.ml')
0 files changed, 0 insertions, 0 deletions