diff6-10.chapter14.txt

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

diff6-10

25a26
>  
40a42,43
>  -version  Print version and exit.
>  
80,82c83,85
<    identifier in all modules (wildcards ``?'' and ``*''  allowed). If you
<    choose the type option, the search is done by type  inclusion (cf. Search
<    Symbol - Included type).
---
>    identifier in all modules (wildcards "?" and "*" allowed). If you choose the
>    type option, the search is done by type inclusion (cf. Search Symbol -
>    Included type).
107,108c110,111
<  - Detach copies the currently displayed signature in a new window,  to keep
<    it. 
---
>  - Detach copies the currently displayed signature in a new window, to keep it.
>    
130,132c133,135
<  - Typecheck verifies typing, and memorizes to let one see an  expression's
<    type by double-clicking on it. This is also valid for  interfaces. If an
<    error occurs, the part of the interface preceding  the error is computed.
---
>  - Typecheck verifies typing, and memorizes to let one see an expression's type
>    by double-clicking on it. This is also valid for interfaces. If an error
>    occurs, the part of the interface preceding the error is computed.