. . . . . . . . . . . . . . . . . . . . 143 13 Using Windows resources 144 13.1 The resource directive $R . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 144 13.2 Creating resources compiler directive is always specified as a comment using curly braces: {$DIRECTIVE [value]} The older (* *) notation, or the C++ notation // cannot be used for directives. The fact that a directive is specified That in turn means that if a non-existing directive is specified, the compiler does not give an error, it just gives a warning about an invalid/unknown directive. There is a distinction between local and

directory should be added to the LIBPATH directive in the config.sys file: LIBPATH=XXX;C:\PP\DLL Obviously, any existing directories in the LIBPATH directive (indicated by XXX in the above exam- ple) compile something. 3.1.3 Include files If you include a file in your source with the {$I filename} directive, the compiler will look for it in the following places: 1. It will look in the path specified in the current directory. 3.1.4 Object files When you link to object files (using the {$L file.o} directive, the compiler will look for this file in the same way as it looks for include files: 1. It will

appropriate mode. When required for a certain feature, the use of the -M command-line switch or {$MODE } directive will be indicated in the text. More information about the various modes can be found in the user’s appropriate mode. When required for a certain feature, the use of the -M command-line switch or {$MODE } directive will be indicated in the text. More information about the various modes can be found in the user’s functions or methods, properties) can have a hint directive appended to their definition: Hint directives 16 CHAPTER 1. PASCAL TOKENS -- hint directive Deprecated string constant Experimental Platform

just in top-level code. In the conditional compilation block, the branch for the #if compilation directive must contain at least one expression. The other PDF conversion courtesy of www.appsdissected.com conditional-switch-case → switch-if-directive-clause switch-elseif-directive-clauses opt switch-else-directive-clause opt endif-directive switch-if-directive-clause → if-directive compilation-condition switch-cases switch-cases opt switch-elseif-directive-clauses → elseif-directive-clause switch-elseif-directive-clauses opt switch-elseif-directive-clause → elseif-directive compilation-condition switch-cases

character # has been changed to the exclamation mark !. 17.1 Including files Use the !include directive to include file in your diagram. Imagine you have the very same class that appears in many diagrams be included once. If you want to include several times the very same file, you have to use the directive !include_many instead of !include. You can also put several @startuml/@enduml text block in an file, so using something like !include foo.txt!MY_OWN_ID. 17.2 Including URL Use the !includeurl directive to include file from Internet/Intranet in your diagram. You can also use !includeurl http://someurl

character # has been changed to the exclamation mark !. 17.1 Including files Use the !include directive to include file in your diagram. Imagine you have the very same class that appears in many diagrams be included once. If you want to include several times the very same file, you have to use the directive !include_many instead of !include. You can also put several @startuml/@enduml text block in an file, so using something like !include foo.txt!MY_OWN_ID. 17.2 Including URL Use the !includeurl directive to include file from Internet/Intranet in your diagram. You can also use !includeurl http://someurl

character # has been changed to the exclamation mark !. 17.1 Including files Use the !include directive to include file in your diagram. Imagine you have the very same class that appears in many diagrams be included once. If you want to include several times the very same file, you have to use the directive !include_many instead of !include. You can also put several @startuml/@enduml text block in an file, so using something like !include foo.txt!MY_OWN_ID. 17.2 Including URL Use the !includeurl directive to include file from Internet/Intranet in your diagram. You can also use !includeurl http://someurl

Leaf toTree (x :: xs) = insert x (toTree xs) 5.1.4 %access Directive Finally, the default export mode can be changed with the %access directive, for example: module Btree %access export data BTree a functions a requirement, either: • By using the --total compiler flag. • By adding a %default total directive to a source file. All definitions after this will be required to be total, unless explicitly flagged libraries can be dynamically loaded in the interpreter by using the :dynamic command or the %dynamic directive. For example: Idris> :dynamic libm.so Idris> :x unsafePerformIO ((mkForeign (FFun "sin" [FFloat]

character # has been changed to the exclamation mark !. 19.1 Including files Use the !include directive to include file in your diagram. Imagine you have the very same class that appears in many diagrams be included once. If you want to include several times the very same file, you have to use the directive !include_many instead of !include. You can also put several @startuml/@enduml text block in an file, so using something like !include foo.txt!MY_OWN_ID. 19.2 Including URL Use the !includeurl directive to include file from Internet/Intranet in your diagram. You can also use !includeurl http://someurl

:: xs) = insert x (toTree xs) Finally, the default export mode can be changed with the %access directive, for example: module Btree %access abstract data BTree a = Leaf | Node (BTree a) a (BTree a) functions a requirement, either: • By using the --total compiler flag. • By adding a %default total directive to a source file. All definitions after this will be required to be total, unless explicitly flagged libraries can be dynamically loaded in the interpreter by using the :dynamic command or the %dynamic directive. For example: 13.4. Foreign function calls 59 The Idris Tutorial, Release 0.9.17 Idris> :dynamic