Changeset ace67c8
- Timestamp:
- May 26, 2017, 12:52:11 PM (7 years ago)
- Branches:
- ADT, aaron-thesis, arm-eh, ast-experimental, cleanup-dtors, deferred_resn, demangler, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, new-env, no_list, persistent-indexer, pthread-emulation, qualifiedEnum, resolv-new, with_gc
- Children:
- f6b70e5, ff03f5c
- Parents:
- 8712514 (diff), 41634098 (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the(diff)
links above to see all the changes relative to each parent. - Location:
- doc
- Files:
-
- 1 added
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
doc/working/resolver_design.md
r8712514 race67c8 41 41 ensure that they are two-arg functions (this restriction may be valuable 42 42 regardless). 43 44 Regardless of syntax, there should be a type assertion that expresses `From` 45 is convertable to `To`. 46 If user-defined conversions are not added to the language, 47 `void ?{} ( To*, From )` may be a suitable representation, relying on 48 conversions on the argument types to account for transitivity. 49 On the other hand, `To*` should perhaps match its target type exactly, so 50 another assertion syntax specific to conversions may be required, e.g. 51 `From -> To`. 43 52 44 53 ### Constructor Idiom ###
Note: See TracChangeset
for help on using the changeset viewer.