Uses of Class
orc.error.compiletime.CompilationException

Packages that use CompilationException

orc	Top-level package for all Orc code.
orc.ast.extended	Desugared AST which is very close to the source form.
orc.ast.extended.declaration
orc.ast.extended.declaration.defn
orc.ast.oil	Internal representation of OIL, the Orc Intermediate Language.
orc.ast.simple	Desugared AST which is close to the final format (OIL) but includes named variables.
orc.error.compiletime
orc.error.compiletime.typing
orc.type

Uses of CompilationException in orc

Methods in orc that throw CompilationException

static Node	Orc.compile(Config cfg)
static Expr	Orc.compile(java.io.Reader source, Config cfg)
static void	BackendDemo.main(java.lang.String[] args)
static OrcInstance	Orc.runEmbedded(java.io.File source) Deprecated.
static OrcInstance	Orc.runEmbedded(java.io.Reader source) Deprecated.
static OrcInstance	Orc.runEmbedded(java.io.Reader source, Config cfg) Deprecated.
static OrcInstance	Orc.runEmbedded(java.lang.String source) Deprecated.

Uses of CompilationException in orc.ast.extended

Methods in orc.ast.extended that throw CompilationException

protected Expression.Arg	Expression.argify() Simplify an expression which occurs in an argument (nested) position.
Expression	AssertType.simplify()
Expression	Atomic.simplify()
Expression	HasType.simplify()
Expression	Semi.simplify()
Expression	Isolated.simplify()
Expression	IfThenElse.simplify()
Expression	Dot.simplify()
abstract Expression	Expression.simplify() Simplify an expression which occurs in a call (non-nested) position.
Expression	Parallel.simplify()
Expression	Call.simplify()
Expression	ConsExpr.simplify()
Expression	Lambda.simplify()
Expression	Let.simplify()
Expression	ListExpr.simplify()
Expression	Declare.simplify()
Expression	Sequential.simplify()
Expression	Where.simplify()

Uses of CompilationException in orc.ast.extended.declaration

Methods in orc.ast.extended.declaration that throw CompilationException

Expression	ValDeclaration.bindto(Expression target)
Expression	DefsDeclaration.bindto(Expression target)
abstract Expression	Declaration.bindto(Expression target)

Uses of CompilationException in orc.ast.extended.declaration.defn

Methods in orc.ast.extended.declaration.defn that throw CompilationException

Definition	AggregateDefn.simplify()
Expression	Clause.simplify(java.util.List<Var> formals, Expression otherwise)

Uses of CompilationException in orc.ast.oil

Methods in orc.ast.oil that throw CompilationException

static void

UnguardedRecursionChecker.check(Expr expr)

Uses of CompilationException in orc.ast.simple

Methods in orc.ast.simple that throw CompilationException

Expr	WithLocation.convert(Env<Var> vars, Env<java.lang.String> typevars)
Expr	Atomic.convert(Env<Var> vars, Env<java.lang.String> typevars)
Expr	HasType.convert(Env<Var> vars, Env<java.lang.String> typevars)
Expr	Semi.convert(Env<Var> vars, Env<java.lang.String> typevars)
Expr	Isolated.convert(Env<Var> vars, Env<java.lang.String> typevars)
Expr	TypeDecl.convert(Env<Var> vars, Env<java.lang.String> typevars)
Def	Definition.convert(Env<Var> vars, Env<java.lang.String> typevars)
abstract Expr	Expression.convert(Env<Var> vars, Env<java.lang.String> typevars) Converts abstract syntax tree into a serializable form, used to generate portable .oil (Orc Intermediate Language) files.
Expr	Parallel.convert(Env<Var> vars, Env<java.lang.String> typevars)
Expr	Call.convert(Env<Var> vars, Env<java.lang.String> typevars)
Expr	Defs.convert(Env<Var> vars, Env<java.lang.String> typevars)
Expr	Sequential.convert(Env<Var> vars, Env<java.lang.String> typevars)
Expr	Where.convert(Env<Var> vars, Env<java.lang.String> typevars)

Uses of CompilationException in orc.error.compiletime

Subclasses of CompilationException in orc.error.compiletime

class	NonlinearPatternException
class	ParsingException Problem parsing the text of an Orc program.
class	PatternException
class	UnboundVariableException

Uses of CompilationException in orc.error.compiletime.typing

Subclasses of CompilationException in orc.error.compiletime.typing

class	ArgumentArityException
class	DefinitionArityException
class	InsufficientTypeInformationException
class	MissingTypeException Exception raised
class	SubtypeFailureException
class	TypeArityException
class	TypeException
class	UnboundTypeException
class	UncallableTypeException Exception raised when the typechecker finds an uncallable value in call position.
class	UnspecifiedArgTypesException
class	UnspecifiedReturnTypeException

Uses of CompilationException in orc.type

Subclasses of CompilationException in orc.type

class

InferenceRequest A special exception raised and caught within the typechecker to request the inference of missing type parameters on a call.