Ignore:
Timestamp:
May 25, 2017, 4:52:09 PM (4 years ago)
Author:
Aaron Moss <a3moss@…>
Branches:
aaron-thesis, arm-eh, cleanup-dtors, deferred_resn, demangler, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, new-env, no_list, persistent-indexer, resolv-new, with_gc
Children:
ace67c8
Parents:
1eeab94
Message:

Added white paper on user-defined conversions based on resolver design doc

File:
1 edited

Legend:

Unmodified
Added
Removed
  • doc/working/resolver_design.md

    r1eeab94 r4163409  
    4141ensure that they are two-arg functions (this restriction may be valuable
    4242regardless).
     43
     44Regardless of syntax, there should be a type assertion that expresses `From`
     45is convertable to `To`.
     46If user-defined conversions are not added to the language,
     47`void ?{} ( To*, From )` may be a suitable representation, relying on
     48conversions on the argument types to account for transitivity.
     49On the other hand, `To*` should perhaps match its target type exactly, so
     50another assertion syntax specific to conversions may be required, e.g.
     51`From -> To`.
    4352
    4453### Constructor Idiom ###
Note: See TracChangeset for help on using the changeset viewer.