diff options
| author | Kathy Gray | 2015-02-18 15:40:30 +0000 |
|---|---|---|
| committer | Kathy Gray | 2015-02-18 15:40:30 +0000 |
| commit | a871de7a1cff3fbd11081deb16881ed352fb45ca (patch) | |
| tree | 3bbe7c436b92351ccd9a69601924ea4c9ee15d90 /src/util.ml | |
| parent | bd66b4763243ee75b212da1f264bb20c2c36cee2 (diff) | |
All existing type rules in line with implementation (and no more red)
Still to do: type rules for register aliases and relation for overloading selection
Diffstat (limited to 'src/util.ml')
0 files changed, 0 insertions, 0 deletions