diff options
| author | Alasdair Armstrong | 2017-06-28 19:35:57 +0100 |
|---|---|---|
| committer | Alasdair Armstrong | 2017-06-28 19:35:57 +0100 |
| commit | 7a20fdcb37a1e7ac0f86d455c616d0a39d9d92bd (patch) | |
| tree | b896676d09178f4f3a2447d431373f687ba6a2a2 /src/process_file.ml | |
| parent | 32a621d568081cc7f60102d35d84bece9bbd01c5 (diff) | |
User defined overloaded operators
New typechecker has no builtin overloaded operators - instead can now
write something in SAIL like:
overload (deinfix +) [id1; id2; id3]
to set up functions id1, id2, and id3 as overloadings for the +
operator. Any identifier can be overloaded, not just infix ones. This
is done in a backwards compatible way, so the old typechecker removes
the DEF_overload nodes from the ast so the various backends never see
it.
Diffstat (limited to 'src/process_file.ml')
0 files changed, 0 insertions, 0 deletions
