Goose  Artifact [0dab51db2e]

Artifact 0dab51db2e2fff0d09a4df1377c33b13edbb5aa4289065e04856365d4286fa7d:

• File bs/builtins/builtins.h — part of check-in [32f94cd2e1] at 2023-08-02 21:46:53 on branch trunk — Implemented forall statement (user: zlodo size: 862)

#ifndef GOOSE_BUILTINS_H
#define GOOSE_BUILTINS_H

#include "eir/eir.h"
#include "cir/cir.h"
#include "sema/sema.h"
#include "diagnostics/diagnostics.h"

namespace goose::builtins
{
    using namespace eir;
    using namespace sema;
    using namespace diagnostics;

    extern const Term& RootG0Identity();
}

#include "codegen/codegen.h"

#include "helpers.h"
#include "builders/builders.h"
#include "types/types.h"
#include "operators/operators.h"
#include "statements/statements.h"
#include "exprhelpers.h"

#include "builders/lifecycle_manager.inl"

namespace goose::builtins
{
    extern void SetupDefaultBuilderInterface( Env& e );
    extern void SetupCodeBuilderInterface( Env& e );
    extern void SetupPropositionsBuilderInterface( Env& e );
    extern void SetupGhostCodeBuilderInterface( Env& e );
    extern void SetupBuiltins( Env& e );
}

#endif