Module system

Collection of different examples with results:

• Empty file <0>
• Test cases, which lead to a positive reaction of the system
• Compatibility to former version 0.4 <1>
• Files with only one module section <2>
• Files with several module sections <3>
• Abstract types in version 0.51 <4>
• Same type definition or predicate declaration given several times in one module <5>
• Test cases, which lead to a negative reaction of the system
• Compatibility to former version 0.4 <6>
• Recognizing borders of module sections <7>
• Missing borders of module sections <8>
• Abstract types <9>
• Clause in interface section <10.1>
• Unknown type symbol in an imported predicate declaration <10.2>
• Multiple type definitions or predicate declaration in different modules <10.3>

File test_module.pl

Files which are used in module test_modules for examples of import:

File test_module_zwei
File test_module_drei

PREV: Checking of given type definitions and predicate declarations