diff6-10.chapter5.txt

このページは最後に更新されてから1年以上経過しています。情報が古い可能性がありますので、ご注意ください。

diff6-10

171a172
>   Warning Y: unused variable balance.
326,327c327,328
<   #     method get n = String.get n
<   #     method set n c = String.set n c
---
>   #     method get n = String.get s n
>   #     method set n c = String.set s n c
335c336
<       method get : string -> int -> char
---
>       method get : int -> char
337c338
<       method set : string -> int -> char -> unit
---
>       method set : int -> char -> unit
340c341
<    However, the method copy returns an object of the class string, and not an
---
>    However, the method copy returns an object of the class ostring, and not an
352c353
<       method get : string -> int -> char
---
>       method get : int -> char
354c355
<       method set : string -> int -> char -> unit
---
>       method set : int -> char -> unit
358c359
<    As seen in section 3.15, the solution is to use functional update instead.
---
>    As seen in section 3.16, the solution is to use functional update instead.
364,365c365,366
<   #     method get n = String.get n
<   #     method set n c = String.set n c
---
>   #     method get n = String.get repr n
>   #     method set n c = String.set repr n c
375c376
<       method get : string -> int -> char
---
>       method get : int -> char
377c378
<       method set : string -> int -> char -> unit
---
>       method set : int -> char -> unit
391,392c392,393
<   #     method get n = String.get n
<   #     method set n c = String.set n c
---
>   #     method get n = String.get repr n
>   #     method set n c = String.set repr n c
404c405
<       method get : string -> int -> char
---
>       method get : int -> char
407c408
<       method set : string -> int -> char -> unit
---
>       method set : int -> char -> unit
418c419
< class money of section 3.16.
---
> class money of section 3.17.
548c549
<   This is another instance of friend functions as seen in section 3.16. Indeed,
---
>   This is another instance of friend functions as seen in section 3.17. Indeed,
762,763c763,764
<   <Window 2 <== Move>
<   <Window 2 <== Raise>
---
>   <Window 1 <== Move>
>   <Window 1 <== Raise>
766,767c767,768
<   <Window 2 <== Resize>
<   <Window 2 <== Raise>
---
>   <Window 1 <== Resize>
>   <Window 1 <== Raise>