diff options
| author | Kathy Gray | 2015-02-24 15:49:08 +0000 |
|---|---|---|
| committer | Kathy Gray | 2015-02-24 15:49:08 +0000 |
| commit | 3bad2e4b0586b759ab747f17144fbe1848474ba9 (patch) | |
| tree | 4467936959945c92d0fc587de5baeb2e00ac39cb /src/util.mli | |
| parent | 9e124a015efec1f21e659623d80542502e607012 (diff) | |
Fix bug where type parameters weren't pushing down into the body of a function for good unification, especially for rewriting
Diffstat (limited to 'src/util.mli')
0 files changed, 0 insertions, 0 deletions