scalarize.cpp File Reference

#include "mim/phase/scalarize.h"
#include "mim/lam.h"
#include "mim/tuple.h"
#include "mim/world.h"

Include dependency graph for scalarize.cpp:

Go to the source code of this file.

Namespaces
namespace	mim

Functions
static const Pi *	mim::isa_flattenable (const Def *def)
	The only Pis we ever reshape: immutable (non-dependent) continuations.
static bool	mim::is_value_telescope (const Def *def)
	A dependent Sigma of values only; other mutable Sigmas may be recursive or pack an existential, like a closure.
static bool	mim::is_polymorphic_arg (const App *app)
	Is the argument of the Axm application app typed by one of the Axm's type variables?