3.1. File Types

Viper uses a similar 'compilation model' to python [by 'python' we usually mean Guido's C Python, version 1.5.2]. It supports two file types, both text files, with extensions '.py' and '.vy'.

Files with extension '.vy' are Viper sources: they may use Viper extensions, and they must adhere to the slightly different rules of the Viper language, as detailed below.

Files with extension '.py' are assumed to be original python sources, and are processed in a compatibility mode which uses python rules whenever they clash with viper ones.