annotate admin/notes/iftc @ 83565:41aaac7180d5

Merged from emacs@sv.gnu.org Patches applied: * emacs@sv.gnu.org/emacs--devo--0--patch-708 Update from CVS * emacs@sv.gnu.org/emacs--devo--0--patch-709 Update from CVS * emacs@sv.gnu.org/emacs--devo--0--patch-710 Update from CVS * emacs@sv.gnu.org/emacs--devo--0--patch-711 Update from CVS * emacs@sv.gnu.org/emacs--devo--0--patch-712 Update from CVS * emacs@sv.gnu.org/emacs--devo--0--patch-713 Update from CVS * emacs@sv.gnu.org/emacs--devo--0--patch-714 Update from CVS * emacs@sv.gnu.org/emacs--devo--0--patch-715 Update from CVS * emacs@sv.gnu.org/emacs--devo--0--patch-716 Merge from emacs--rel--22 * emacs@sv.gnu.org/emacs--devo--0--patch-717 Update from CVS * emacs@sv.gnu.org/emacs--devo--0--patch-718 Update from CVS * emacs@sv.gnu.org/emacs--devo--0--patch-719 Merge from emacs--rel--22 * emacs@sv.gnu.org/emacs--devo--0--patch-720 Update from CVS * emacs@sv.gnu.org/emacs--devo--0--patch-721 Update from CVS * emacs@sv.gnu.org/emacs--devo--0--patch-722 Update from CVS * emacs@sv.gnu.org/emacs--devo--0--patch-723 Merge from emacs--rel--22: lisp/dired-x.el: Revert 2007-04-06 change. * emacs@sv.gnu.org/emacs--devo--0--patch-724 Update from CVS * emacs@sv.gnu.org/emacs--devo--0--patch-725 Merge from gnus--rel--5.10 * emacs@sv.gnu.org/emacs--devo--0--patch-726 Update from CVS * emacs@sv.gnu.org/emacs--devo--0--patch-727 Merge from emacs--rel--22 * emacs@sv.gnu.org/emacs--devo--0--patch-728 Update from CVS * emacs@sv.gnu.org/emacs--devo--0--patch-729 Merge from emacs--rel--22 * emacs@sv.gnu.org/emacs--devo--0--patch-730 Update from CVS * emacs@sv.gnu.org/emacs--devo--0--patch-731 Merge from emacs--rel--22 * emacs@sv.gnu.org/emacs--devo--0--patch-732 Update from CVS * emacs@sv.gnu.org/emacs--devo--0--patch-733 Update from CVS * emacs@sv.gnu.org/emacs--devo--0--patch-734 Merge from emacs--rel--22 * emacs@sv.gnu.org/emacs--devo--0--patch-735 Update from CVS * emacs@sv.gnu.org/emacs--devo--0--patch-736 Merge from emacs--rel--22 * emacs@sv.gnu.org/emacs--devo--0--patch-737 Update from CVS * emacs@sv.gnu.org/emacs--devo--0--patch-738 Update from CVS * emacs@sv.gnu.org/emacs--devo--0--patch-739 Merge from emacs--rel--22 * emacs@sv.gnu.org/emacs--devo--0--patch-740 Update from CVS * emacs@sv.gnu.org/emacs--devo--0--patch-741 Merge from gnus--rel--5.10 * emacs@sv.gnu.org/emacs--devo--0--patch-742 Update from CVS * emacs@sv.gnu.org/emacs--devo--0--patch-743 Merge from emacs--rel--22 * emacs@sv.gnu.org/emacs--rel--22--base-0 tag of emacs@sv.gnu.org/emacs--devo--0--patch-709 * emacs@sv.gnu.org/emacs--rel--22--patch-1 Sync to CVS tag EMACS_22_BRANCHPOINT * emacs@sv.gnu.org/emacs--rel--22--patch-2 Sync to CVS branch EMACS_22_BASE * emacs@sv.gnu.org/emacs--rel--22--patch-3 Update from CVS * emacs@sv.gnu.org/emacs--rel--22--patch-4 Update from CVS * emacs@sv.gnu.org/emacs--rel--22--patch-5 Update from CVS * emacs@sv.gnu.org/emacs--rel--22--patch-6 Update from CVS * emacs@sv.gnu.org/emacs--rel--22--patch-7 Update from CVS * emacs@sv.gnu.org/emacs--rel--22--patch-8 Update from CVS * emacs@sv.gnu.org/emacs--rel--22--patch-9 Update from CVS * emacs@sv.gnu.org/emacs--rel--22--patch-10 Update from CVS * emacs@sv.gnu.org/emacs--rel--22--patch-11 Update from CVS * emacs@sv.gnu.org/emacs--rel--22--patch-12 Update from CVS * emacs@sv.gnu.org/emacs--rel--22--patch-13 Update from CVS * emacs@sv.gnu.org/gnus--rel--5.10--patch-217 Update from CVS * emacs@sv.gnu.org/gnus--rel--5.10--patch-218 Merge from emacs--devo--0, emacs--rel--22 * emacs@sv.gnu.org/gnus--rel--5.10--patch-219 Update from CVS * emacs@sv.gnu.org/gnus--rel--5.10--patch-220 Update from CVS git-archimport-id: lorentey@elte.hu--2004/emacs--multi-tty--0--patch-605
author Karoly Lorentey <karoly@lorentey.hu>
date Fri, 11 May 2007 18:24:42 +0000
parents 695cf19ef79e
children 375f2633d815 ef719132ddfa
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
45625
28f0b229040c Initial revision
Thien-Thi Nguyen <ttn@gnuvola.org>
parents:
diff changeset
1 Iso-Functional Type Contour
28f0b229040c Initial revision
Thien-Thi Nguyen <ttn@gnuvola.org>
parents:
diff changeset
2
28f0b229040c Initial revision
Thien-Thi Nguyen <ttn@gnuvola.org>
parents:
diff changeset
3
28f0b229040c Initial revision
Thien-Thi Nguyen <ttn@gnuvola.org>
parents:
diff changeset
4 This is a term coined to describe "column int->float" change approach, and can
28f0b229040c Initial revision
Thien-Thi Nguyen <ttn@gnuvola.org>
parents:
diff changeset
5 be used whenever low-level types need to change (hopefully not often!) but the
28f0b229040c Initial revision
Thien-Thi Nguyen <ttn@gnuvola.org>
parents:
diff changeset
6 meanings of the values (whose type has changed) do not.
28f0b229040c Initial revision
Thien-Thi Nguyen <ttn@gnuvola.org>
parents:
diff changeset
7
28f0b229040c Initial revision
Thien-Thi Nguyen <ttn@gnuvola.org>
parents:
diff changeset
8 The premise is that changing a low-level type potentially means lots of code
28f0b229040c Initial revision
Thien-Thi Nguyen <ttn@gnuvola.org>
parents:
diff changeset
9 needs to be changed as well, and the question is how to do this incrementally,
28f0b229040c Initial revision
Thien-Thi Nguyen <ttn@gnuvola.org>
parents:
diff changeset
10 which is the preferred way to change things.
28f0b229040c Initial revision
Thien-Thi Nguyen <ttn@gnuvola.org>
parents:
diff changeset
11
28f0b229040c Initial revision
Thien-Thi Nguyen <ttn@gnuvola.org>
parents:
diff changeset
12 Say LOW and HIGH are C functions:
28f0b229040c Initial revision
Thien-Thi Nguyen <ttn@gnuvola.org>
parents:
diff changeset
13
28f0b229040c Initial revision
Thien-Thi Nguyen <ttn@gnuvola.org>
parents:
diff changeset
14 int LOW (void) { return 1; }
28f0b229040c Initial revision
Thien-Thi Nguyen <ttn@gnuvola.org>
parents:
diff changeset
15 void HIGH (void) { int value = LOW (); }
28f0b229040c Initial revision
Thien-Thi Nguyen <ttn@gnuvola.org>
parents:
diff changeset
16
28f0b229040c Initial revision
Thien-Thi Nguyen <ttn@gnuvola.org>
parents:
diff changeset
17 We want to convert LOW to return float, so we cast HIGH usage:
28f0b229040c Initial revision
Thien-Thi Nguyen <ttn@gnuvola.org>
parents:
diff changeset
18
28f0b229040c Initial revision
Thien-Thi Nguyen <ttn@gnuvola.org>
parents:
diff changeset
19 float LOW (void) { return 1.0; }
28f0b229040c Initial revision
Thien-Thi Nguyen <ttn@gnuvola.org>
parents:
diff changeset
20 void HIGH (void) { int value = (int) LOW (); } /* iftc */
28f0b229040c Initial revision
Thien-Thi Nguyen <ttn@gnuvola.org>
parents:
diff changeset
21
28f0b229040c Initial revision
Thien-Thi Nguyen <ttn@gnuvola.org>
parents:
diff changeset
22 The comment /* iftc */ is used to mark this type of casting to differentiate
28f0b229040c Initial revision
Thien-Thi Nguyen <ttn@gnuvola.org>
parents:
diff changeset
23 it from other casting. We commit the changes and can now go about modifying
28f0b229040c Initial revision
Thien-Thi Nguyen <ttn@gnuvola.org>
parents:
diff changeset
24 LOW and HIGH separately. When HIGH is ready to handle the type change, the
28f0b229040c Initial revision
Thien-Thi Nguyen <ttn@gnuvola.org>
parents:
diff changeset
25 cast can be removed.
52401
695cf19ef79e Add arch taglines
Miles Bader <miles@gnu.org>
parents: 45625
diff changeset
26
695cf19ef79e Add arch taglines
Miles Bader <miles@gnu.org>
parents: 45625
diff changeset
27 ;;; arch-tag: 3309cc41-5d59-421b-b7be-c94b04083bb5