Ignore:
Timestamp:
Mar 13, 2019, 11:12:40 AM (5 years ago)
Author:
Aaron Moss <a3moss@…>
Branches:
ADT, aaron-thesis, arm-eh, ast-experimental, cleanup-dtors, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, pthread-emulation, qualifiedEnum
Children:
0e54654
Parents:
a2545593
Message:

thesis: tweak ascription cast

File:
1 edited

Legend:

Unmodified
Added
Removed
  • doc/theses/aaron_moss_PhD/phd/resolution-heuristics.tex

    ra2545593 r320e72a2  
    391391double g$\(_2\)$(long);
    392392
    393 f((double)42);  $\C[4.5in]{// select f\(_2\) by parameter cast}$
     393f((double)42);  $\C[4.5in]{// select f\(_2\) by argument cast}$
    394394(as double)g(42); $\C[4.5in]{// select g\(_2\) by return ascription cast}$
    395395(double)g(42); $\C[4.5in]{// select g\(_1\) NOT g\(_2\) because of parameter conversion cost}$
Note: See TracChangeset for help on using the changeset viewer.