Type-xml.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 "Options.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"

Go to the source code of this file.

Functions
static string	printName (shared_ptr< AST > ast)
static bool	mustShowPred (shared_ptr< Typeclass > pred)

---

Function Documentation

static bool mustShowPred

(

shared_ptr< Typeclass >

pred

)

[inline, static]

Definition at line 412 of file Type-xml.cxx.

References Options::showAllTccs, TY_CT_SELF, and TY_CT_SUBSUMED.

static string printName

(

shared_ptr< AST >

ast

)

[static]

Definition at line 64 of file Type-xml.cxx.

---