TypeMut.hxx File Reference

#include <stdlib.h>
#include <dirent.h>
#include <fstream>
#include <iostream>
#include <string>
#include "AST.hxx"
#include "Type.hxx"

Go to the source code of this file.

Functions
static boost::shared_ptr< Type >	newTvar ()
static boost::shared_ptr< Type >	MBF (boost::shared_ptr< Type > t)
static boost::shared_ptr< Type >	MBT (boost::shared_ptr< Type > t)
static boost::shared_ptr< Type >	Mutable (boost::shared_ptr< Type > t)

---

Function Documentation

static boost::shared_ptr<Type> MBF

(

boost::shared_ptr< Type >

t

)

[inline, static]

Definition at line 70 of file TypeMut.hxx.

References Type::make(), and newTvar().

Referenced by bindIdentDef(), buildFnFromApp(), Type::ensureMinimizability(), Type::fixupConstArguments(), Type::fixupFnTypes(), handleTCPred(), typeInfer(), and UnifyLetBinds().

static boost::shared_ptr<Type> MBT

(

boost::shared_ptr< Type >

t

)

[inline, static]

Definition at line 78 of file TypeMut.hxx.

References Type::make(), and newTvar().

Referenced by typeInfer().

static boost::shared_ptr<Type> Mutable

(

boost::shared_ptr< Type >

t

)

[inline, static]

Definition at line 84 of file TypeMut.hxx.

References Type::make().

Referenced by Unify().

static boost::shared_ptr<Type> newTvar

(

)

[inline, static]

Definition at line 61 of file TypeMut.hxx.

References Type::make().

Referenced by bindIdentDef(), buildFnFromApp(), Type::ensureMinimizability(), Type::fixupConstArguments(), MBF(), MBT(), Type::propagateMutability(), TypeScheme::ts_instance(), TypeScheme::type_instance(), typeInfer(), Unify(), and UnifyLetBinds().

---