compiler_typed_sema_example.cc File Reference

Example showing nominal type declarations, transparent aliases, and basic polymorphism. More...

#include <iostream>
#include <Compiler_Parser.H>
#include <Compiler_Typed_Sema.H>

Include dependency graph for compiler_typed_sema_example.cc:

Go to the source code of this file.

Functions
int	main ()

Detailed Description

Example showing nominal type declarations, transparent aliases, and basic polymorphism.

Definition in file compiler_typed_sema_example.cc.

Function Documentation

main()

int main

(

void

)

Definition at line 44 of file compiler_typed_sema_example.cc.

References Aleph::Source_Manager::add_virtual_file(), Aleph::Compiler_Typed_Semantic_Analyzer::analyze_module(), Aleph::blossom_maximum_cardinality_matching(), Aleph::compiler_dump_module(), Aleph::Compiler_Typed_Semantic_Analyzer::dump_inference(), Aleph::Diagnostic_Engine::has_errors(), Aleph::Diagnostic_Engine::render_plain(), and Aleph::Diagnostic_Engine::size().