Package net.hydromatic.morel.compile

Class Compiler

java.lang.Object

net.hydromatic.morel.compile.Compiler

public class Compiler
extends java.lang.Object

Compiles an expression to code that can be evaluated.

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
private static interface	Compiler.Action	Something that needs to happen when a declaration is evaluated.
private static class	Compiler.ComparableSingletonList<E extends java.lang.Comparable<E>>	A comparable singleton list.
private static class	Compiler.LinkCode	A piece of code that is references another piece of code.

Field Summary

Fields

Modifier and Type	Field	Description
private static EvalEnv	EMPTY_ENV
private TypeResolver.TypeMap	typeMap

Constructor Summary

Constructors

Constructor	Description
Compiler(TypeResolver.TypeMap typeMap)

Method Summary

Modifier and Type	Method	Description
private void	assignSelector(Ast.Apply apply)
Code	compile(Environment env, Ast.Exp expression)
private Code	compileAggregate(Environment env, Ast.Aggregate aggregate)
private Applicable	compileApplicable(Environment env, Ast.Exp fn)	Compiles a function value to an Applicable, if possible, or returns null.
private void	compileDatatypeDecl(Environment env, Ast.DatatypeDecl datatypeDecl, java.util.List<Binding> bindings, java.util.List<Compiler.Action> actions)
private void	compileDecl(Environment env, Ast.Decl decl, java.util.List<Code> varCodes, java.util.List<Binding> bindings, java.util.List<Compiler.Action> actions)
private Code	compileInfix(Environment env, Ast.InfixCall call)
private Code	compileLet(Environment env, java.util.List<Ast.Decl> decls, Ast.Exp e)
private Code	compileLet(Environment env, Ast.Decl decl, Ast.Exp e)
private Code	compileMatchList(Environment env, java.lang.Iterable<Ast.Match> matchList)	Compiles a match expression.
(package private) CompiledStatement	compileStatement(Environment env, Ast.Decl decl)
private void	compileTyCon(Environment env, Type dataType, Ast.TyCon tyCon, java.util.List<Binding> bindings)
private Code	compileUnary(Environment env, Ast.Exp call)
private void	compileValBind(Environment env, Ast.ValBind valBind, java.util.List<Code> varCodes, java.util.List<Binding> bindings, java.util.List<Compiler.Action> actions)
private void	compileValDecl(Environment env, Ast.ValDecl valDecl, java.util.List<Code> varCodes, java.util.List<Binding> bindings, java.util.List<Compiler.Action> actions)
private Ast.Pat	expandRecordPattern(Ast.Pat pat)	Expands a pattern if it is a record pattern that has an ellipsis or if the arguments are not in the same order as the labels in the type.
private void	flatten(java.util.Map<Ast.Pat,Ast.Exp> matches, Ast.Pat pat, Ast.Exp exp)
private Ast.LetExp	flattenLet(java.util.List<Ast.Decl> decls, Ast.Exp e)
private void	link(java.util.Map<Ast.IdPat,Compiler.LinkCode> linkCodes, Ast.Pat pat, Code code)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

EMPTY_ENV

private static final EvalEnv EMPTY_ENV

typeMap

private final TypeResolver.TypeMap typeMap

Constructor Detail

Compiler

public Compiler(TypeResolver.TypeMap typeMap)

Method Detail

compileStatement

CompiledStatement compileStatement(Environment env,
                                   Ast.Decl decl)

compile

public Code compile(Environment env,
                    Ast.Exp expression)

assignSelector

private void assignSelector(Ast.Apply apply)

compileApplicable

private Applicable compileApplicable(Environment env,
                                     Ast.Exp fn)

Compiles a function value to an Applicable, if possible, or returns null.

compileAggregate

private Code compileAggregate(Environment env,
                              Ast.Aggregate aggregate)

compileLet

private Code compileLet(Environment env,
                        java.util.List<Ast.Decl> decls,
                        Ast.Exp e)

compileLet

private Code compileLet(Environment env,
                        Ast.Decl decl,
                        Ast.Exp e)

flattenLet

private Ast.LetExp flattenLet(java.util.List<Ast.Decl> decls,
                              Ast.Exp e)

compileDecl

private void compileDecl(Environment env,
                         Ast.Decl decl,
                         java.util.List<Code> varCodes,
                         java.util.List<Binding> bindings,
                         java.util.List<Compiler.Action> actions)

compileValDecl

private void compileValDecl(Environment env,
                            Ast.ValDecl valDecl,
                            java.util.List<Code> varCodes,
                            java.util.List<Binding> bindings,
                            java.util.List<Compiler.Action> actions)

compileDatatypeDecl

private void compileDatatypeDecl(Environment env,
                                 Ast.DatatypeDecl datatypeDecl,
                                 java.util.List<Binding> bindings,
                                 java.util.List<Compiler.Action> actions)

compileTyCon

private void compileTyCon(Environment env,
                          Type dataType,
                          Ast.TyCon tyCon,
                          java.util.List<Binding> bindings)

compileInfix

private Code compileInfix(Environment env,
                          Ast.InfixCall call)

compileUnary

private Code compileUnary(Environment env,
                          Ast.Exp call)

flatten

private void flatten(java.util.Map<Ast.Pat,Ast.Exp> matches,
                     Ast.Pat pat,
                     Ast.Exp exp)

compileMatchList

private Code compileMatchList(Environment env,
                              java.lang.Iterable<Ast.Match> matchList)

Compiles a match expression.

Parameters:

env - Compile environment

matchList - List of Match

Returns:

Code for match

expandRecordPattern

private Ast.Pat expandRecordPattern(Ast.Pat pat)

Expands a pattern if it is a record pattern that has an ellipsis or if the arguments are not in the same order as the labels in the type.

compileValBind

private void compileValBind(Environment env,
                            Ast.ValBind valBind,
                            java.util.List<Code> varCodes,
                            java.util.List<Binding> bindings,
                            java.util.List<Compiler.Action> actions)

link

private void link(java.util.Map<Ast.IdPat,Compiler.LinkCode> linkCodes,
                  Ast.Pat pat,
                  Code code)