Package net.hydromatic.morel.compile

Class Resolver

java.lang.Object

net.hydromatic.morel.compile.Resolver

public class Resolver
extends Object

Converts AST expressions to Core expressions.

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
private class	Resolver.FromResolver	Visitor that converts a Ast.From, Ast.Exists or Ast.Forall to Core.From by handling each subtype of Ast.FromStep calling FromBuilder appropriately.
private static enum	Resolver.Init	Helper for initialization.
(package private) static class	Resolver.PatExp	Pattern and expression.
(package private) static class	Resolver.ReferenceFinder	Visitor that finds all references to unbound variables in an expression.
(package private) static class	Resolver.ResolvedDatatypeDecl	Resolved datatype declaration.
static class	Resolver.ResolvedDecl	Resolved declaration.
(package private) class	Resolver.ResolvedValDecl	Resolved value declaration.

Field Summary

Fields

Modifier and Type	Field	Description
static final com.google.common.collect.ImmutableMap<BuiltIn,Op>	BUILT_IN_OP_MAP	Map from BuiltIn, to Op; the reverse of OP_BUILT_IN_MAP, and needed when we convert an optimized expression back to human-readable Morel code.
private final Core.Exp	current
private final Environment	env
private final NameGenerator	nameGenerator
static final com.google.common.collect.ImmutableMap<Op,BuiltIn>	OP_BUILT_IN_MAP	Map from Op to BuiltIn.
private final Map<String,Pair<Core.IdPat,List<Core.IdPat>>>	resolvedOverloads
private final @Nullable Session	session
(package private) final TypeMap	typeMap
private final Map<Pair<Core.NamedPat,Type>,Core.NamedPat>	variantIdMap	Contains variable declarations whose type at the point they are used is different (more specific) than in their declaration.

Constructor Summary

Constructors

Modifier	Constructor	Description
private	Resolver(TypeMap typeMap, NameGenerator nameGenerator, Map<Pair<Core.NamedPat,Type>,Core.NamedPat> variantIdMap, Map<String,Pair<Core.IdPat,List<Core.IdPat>>> resolvedOverloads, Environment env, @Nullable Session session, @Nullable Core.Exp current)

Method Summary

Modifier and Type	Method	Description
(package private) static void	flatten(Map<Ast.Pat,Ast.Exp> matches, boolean flatten, Ast.Pat pat, Ast.Exp exp)
private Core.Exp	flattenLet(List<Ast.Decl> decls, Ast.Exp exp)
private Core.NamedPat	getIdPat(Ast.Id id, Core.NamedPat coreId)	Converts an Id that is a reference to a variable into an IdPat that represents its declaration.
private @Nullable Core.IdPat	getOverload(Core.IdPat pat)
static Resolver	of(TypeMap typeMap, Environment env, @Nullable Session session)	Creates a root Resolver.
private boolean	references(List<Resolver.PatExp> patExps)	Returns whether any of the expressions in exps references and of the variables defined in pats.
private Resolver.ResolvedDecl	resolve(Ast.Decl decl, List<Binding> bindings)
private Resolver.ResolvedDatatypeDecl	resolveDatatypeDecl(Ast.DatatypeDecl decl, List<Binding> bindings)
private static Resolver.ResolvedDecl	resolveOverDecl(Ast.OverDecl ignoredDecl, List<Binding> ignoredBindings)
private Resolver.ResolvedValDecl	resolveValDecl(Ast.ValDecl valDecl, List<Binding> bindings)
static boolean	subsumes(Type actualType, Type expectedType)	An actual type subsumes an expected type if it is equal or if progressive record types have been expanded.
private BuiltIn	toBuiltIn(Op op)
private Core.Aggregate	toCore(Ast.Aggregate aggregate, Collection<? extends Core.IdPat> groupKeys)
private Core.Apply	toCore(Ast.Apply apply)
private Core.Case	toCore(Ast.Case case_)
private Core.Exp	toCore(Ast.Current ignoredCurrent)
private DataType	toCore(Ast.DatatypeBind bind)
Core.DatatypeDecl	toCore(Ast.DatatypeDecl datatypeDecl)
Core.Decl	toCore(Ast.Decl node)
private Core.Exp	toCore(Ast.Exp exp)
private Core.Fn	toCore(Ast.Fn fn)
private Core.Id	toCore(Ast.Id id)
private Core.Case	toCore(Ast.If if_)
private Core.Apply	toCore(Ast.InfixCall call)
private Core.Exp	toCore(Ast.Let let)
private Core.Exp	toCore(Ast.ListExp list)
private Core.Match	toCore(Ast.Match match)
private Core.Exp	toCore(Ast.Ordinal ordinal)
private Core.Pat	toCore(Ast.Pat pat)
private Core.Pat	toCore(Ast.Pat pat, boolean inst)	Converts a pattern to Core, reusing an existing Core.IdPat if inst.
private Core.Pat	toCore(Ast.Pat pat, Type targetType)
private Core.Pat	toCore(Ast.Pat pat, Type type, Type targetType)	Converts a pattern to Core.
(package private) Core.Exp	toCore(Ast.Query query)
private Core.Tuple	toCore(Ast.Record record)
private Core.RecordSelector	toCore(Ast.RecordSelector recordSelector)
private Core.Tuple	toCore(Ast.Tuple tuple)
Core.ValDecl	toCore(Ast.ValDecl valDecl)	Converts a simple Ast.ValDecl, of the form val v = e, to a Core Core.ValDecl.
Core.Decl	toCore(TypeSystem typeSystem, Ast.OverDecl overDecl)	Converts an Ast.OverDecl to a Core Core.OverDecl.
private Core.Exp	toCoreFromEq(Ast.Exp exp)	Translates "x" in "from e = x".
private Core.Exp	toCoreImplies(Ast.Exp a0, Ast.Exp a1)	Translate "p implies q" as "(not p) orelse q".
private Core.IdPat	toCorePat(Ast.Id id)	Converts an id in a declaration to Core.
(package private) static Object	valueOf(Environment env, Core.Exp exp)
private Resolver	withCurrent(Core.Exp current)
final Resolver	withEnv(Iterable<Binding> bindings)	Binds a Resolver to an environment that consists of the current environment plus some bindings.
Resolver	withEnv(Environment env)	Binds a Resolver to a new environment.

Methods inherited from class java.lang.Object

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

Field Details

OP_BUILT_IN_MAP

public static final com.google.common.collect.ImmutableMap<Op,BuiltIn> OP_BUILT_IN_MAP

Map from Op to BuiltIn.

BUILT_IN_OP_MAP

public static final com.google.common.collect.ImmutableMap<BuiltIn,Op> BUILT_IN_OP_MAP

Map from BuiltIn, to Op; the reverse of OP_BUILT_IN_MAP, and needed when we convert an optimized expression back to human-readable Morel code.

typeMap

final TypeMap typeMap

nameGenerator

private final NameGenerator nameGenerator

env

private final Environment env

session

private final @Nullable Session session

current

private final Core.Exp current

resolvedOverloads

private final Map<String,Pair<Core.IdPat,List<Core.IdPat>>> resolvedOverloads

variantIdMap

private final Map<Pair<Core.NamedPat,Type>,Core.NamedPat> variantIdMap

Contains variable declarations whose type at the point they are used is different (more specific) than in their declaration.

For example, the infix operator "op +" has type "α * α →" in the base environment, but at point of use might instead be "int * int → int". This map will contain a new Core.IdPat for all points that use it with that second type. Effectively, it is a phantom declaration, in a let that doesn't exist. Without this shared declaration, all points have their own distinct Core.IdPat, which the Analyzer will think is used just once.

Constructor Details

Resolver

private Resolver(TypeMap typeMap,
 NameGenerator nameGenerator,
 Map<Pair<Core.NamedPat,Type>,Core.NamedPat> variantIdMap,
 Map<String,Pair<Core.IdPat,List<Core.IdPat>>> resolvedOverloads,
 Environment env,
 @Nullable Session session,
 @Nullable Core.Exp current)

Method Details

of

public static Resolver of(TypeMap typeMap,
 Environment env,
 @Nullable Session session)

Creates a root Resolver.

withEnv

public Resolver withEnv(Environment env)

Binds a Resolver to a new environment.

withEnv

public final Resolver withEnv(Iterable<Binding> bindings)

Binds a Resolver to an environment that consists of the current environment plus some bindings.

withCurrent

private Resolver withCurrent(Core.Exp current)

toCore

public Core.Decl toCore(Ast.Decl node)

toCore

public Core.Decl toCore(TypeSystem typeSystem,
 Ast.OverDecl overDecl)

Converts an Ast.OverDecl to a Core Core.OverDecl.

toCore

public Core.ValDecl toCore(Ast.ValDecl valDecl)

Converts a simple Ast.ValDecl, of the form val v = e, to a Core Core.ValDecl.

Declarations such as val (x, y) = (1, 2) and val emp :: rest = emps are considered complex, and are not handled by this method.

Likewise recursive declarations.

getOverload

private @Nullable Core.IdPat getOverload(Core.IdPat pat)

toCore

public Core.DatatypeDecl toCore(Ast.DatatypeDecl datatypeDecl)

resolve

private Resolver.ResolvedDecl resolve(Ast.Decl decl,
 List<Binding> bindings)

resolveDatatypeDecl

private Resolver.ResolvedDatatypeDecl resolveDatatypeDecl(Ast.DatatypeDecl decl,
 List<Binding> bindings)

resolveOverDecl

private static Resolver.ResolvedDecl resolveOverDecl(Ast.OverDecl ignoredDecl,
 List<Binding> ignoredBindings)

resolveValDecl

private Resolver.ResolvedValDecl resolveValDecl(Ast.ValDecl valDecl,
 List<Binding> bindings)

references

private boolean references(List<Resolver.PatExp> patExps)

Returns whether any of the expressions in exps references and of the variables defined in pats.

This method is used to decide whether it is safe to convert a recursive declaration into a non-recursive one.

toCore

private DataType toCore(Ast.DatatypeBind bind)

toCore

private Core.Exp toCore(Ast.Exp exp)

toCore

private Core.Id toCore(Ast.Id id)

toCore

private Core.Exp toCore(Ast.Current ignoredCurrent)

toCore

private Core.Exp toCore(Ast.Ordinal ordinal)

toCorePat

private Core.IdPat toCorePat(Ast.Id id)

Converts an id in a declaration to Core.

getIdPat

private Core.NamedPat getIdPat(Ast.Id id,
 Core.NamedPat coreId)

Converts an Id that is a reference to a variable into an IdPat that represents its declaration.

toCore

private Core.Tuple toCore(Ast.Tuple tuple)

toCore

private Core.Tuple toCore(Ast.Record record)

toCore

private Core.Exp toCore(Ast.ListExp list)

toCoreFromEq

private Core.Exp toCoreFromEq(Ast.Exp exp)

Translates "x" in "from e = x". Desugar to the same as if they had written "from e in [x]".

toCore

private Core.Apply toCore(Ast.Apply apply)

valueOf

static Object valueOf(Environment env,
 Core.Exp exp)

toCore

private Core.RecordSelector toCore(Ast.RecordSelector recordSelector)

toCore

private Core.Apply toCore(Ast.InfixCall call)

toCoreImplies

private Core.Exp toCoreImplies(Ast.Exp a0,
 Ast.Exp a1)

Translate "p implies q" as "(not p) orelse q".

toBuiltIn

private BuiltIn toBuiltIn(Op op)

toCore

private Core.Fn toCore(Ast.Fn fn)

toCore

private Core.Case toCore(Ast.If if_)

toCore

private Core.Case toCore(Ast.Case case_)

toCore

private Core.Exp toCore(Ast.Let let)

flattenLet

private Core.Exp flattenLet(List<Ast.Decl> decls,
 Ast.Exp exp)

flatten

static void flatten(Map<Ast.Pat,Ast.Exp> matches,
 boolean flatten,
 Ast.Pat pat,
 Ast.Exp exp)

toCore

private Core.Pat toCore(Ast.Pat pat)

toCore

private Core.Pat toCore(Ast.Pat pat,
 boolean inst)

Converts a pattern to Core, reusing an existing Core.IdPat if inst.

toCore

private Core.Pat toCore(Ast.Pat pat,
 Type targetType)

toCore

private Core.Pat toCore(Ast.Pat pat,
 Type type,
 Type targetType)

Converts a pattern to Core.

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.

toCore

private Core.Match toCore(Ast.Match match)

toCore

Core.Exp toCore(Ast.Query query)

subsumes

public static boolean subsumes(Type actualType,
 Type expectedType)

An actual type subsumes an expected type if it is equal or if progressive record types have been expanded.

toCore

private Core.Aggregate toCore(Ast.Aggregate aggregate,
 Collection<? extends Core.IdPat> groupKeys)