compiler_types_example.cc File Reference

Minimal example that builds nominal compiler types and solves simple equality constraints. More...

#include <iostream>
#include <Compiler_Types.H>
#include <tpl_constraints.H>

Include dependency graph for compiler_types_example.cc:

Go to the source code of this file.

Functions
int	main ()

Detailed Description

Minimal example that builds nominal compiler types and solves simple equality constraints.

Definition in file compiler_types_example.cc.

Function Documentation

main()

int main

(

void

)

Definition at line 44 of file compiler_types_example.cc.

References Aleph::Constraint_Set< T >::add(), Aleph::DynArray< T >::append(), Aleph::Compiler_Type_Unifier::apply(), Aleph::blossom_maximum_cardinality_matching(), Aleph::color(), Aleph::compiler_unify_result_kind_name(), Aleph::Compiler_Type_Unifier::dump_substitution(), Aleph::Compiler_Type_Context::dump_types(), Aleph::Compiler_Type_Context::integer_type(), Aleph::Compiler_Type_Context::make_enum_type(), Aleph::Compiler_Type_Context::make_function_type(), Aleph::Compiler_Type_Context::make_struct_type(), Aleph::Compiler_Type_Context::make_type_variable(), Aleph::Compiler_Type_Context::set_enum_variants(), Aleph::Compiler_Type_Context::set_struct_fields(), Aleph::Compiler_Type_Unifier::solve(), and Aleph::Compiler_Type_Context::to_string().