diff options
| author | Kathy Gray | 2014-04-30 15:12:56 +0100 |
|---|---|---|
| committer | Kathy Gray | 2014-04-30 15:12:56 +0100 |
| commit | 803426ca4b53021960d921e8f6d863c5cadfc8ea (patch) | |
| tree | 4dbb108328a478c30a7eccaf17b604b5081512d7 /src/initial_check.mli | |
| parent | 58941d81218adf425255a6369358b8b21f4344d3 (diff) | |
More support for overloading functions; primarily focusing on +
WARNING: vector test breaks due to not having implemented the full range of different + functions
In general, we need to decide whether vector + vector, vector + range and range + vector should all return ranges, vectors or a mixture
Diffstat (limited to 'src/initial_check.mli')
0 files changed, 0 insertions, 0 deletions