summaryrefslogtreecommitdiff
path: root/src/process_file.ml
diff options
context:
space:
mode:
authorAlasdair Armstrong2017-06-28 19:35:57 +0100
committerAlasdair Armstrong2017-06-28 19:35:57 +0100
commit7a20fdcb37a1e7ac0f86d455c616d0a39d9d92bd (patch)
treeb896676d09178f4f3a2447d431373f687ba6a2a2 /src/process_file.ml
parent32a621d568081cc7f60102d35d84bece9bbd01c5 (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