TypeMut.cxx File Reference

#include <assert.h>
#include <stdint.h>
#include <stdlib.h>
#include <dirent.h>
#include <fstream>
#include <iostream>
#include <string>
#include <sstream>
#include <libsherpa/UExcept.hxx>
#include "UocInfo.hxx"
#include "AST.hxx"
#include "Type.hxx"
#include "TypeInfer.hxx"
#include "TypeScheme.hxx"
#include "TypeMut.hxx"
#include "Typeclass.hxx"
#include "inter-pass.hxx"
#include "Unify.hxx"
#include "Options.hxx"

Go to the source code of this file.

Functions
static void	coerceMaybe (shared_ptr< Type > t, shared_ptr< Trail > trail, bool minimize)

---

Function Documentation

static void coerceMaybe	(	shared_ptr< Type >	t,
		shared_ptr< Trail >	trail,
		bool	minimize
	)			[static]

Definition at line 1147 of file TypeMut.cxx.

---