Package wyc Description
The Whiley Compiler Front End. This provides the front-end of any Whiley Compiler,
and is responsible for tasks such as lexing, parsing, type checking and WYIL generation.
The compiler front-end also includes a notion of pipeline for linking different
stages of the compiler together. A standard interface for manipulating the pipeline
and registering new pipeline stages is given.
- Author:
- David J. Pearce