Package net.hydromatic.morel.compile

Class Resolver.ResolvedDatatypeDecl

java.lang.Object

net.hydromatic.morel.compile.Resolver.ResolvedDecl

net.hydromatic.morel.compile.Resolver.ResolvedDatatypeDecl

Enclosing class:

Resolver

static class Resolver.ResolvedDatatypeDecl
extends Resolver.ResolvedDecl

Resolved datatype declaration.

Field Summary

Fields

Modifier and Type	Field	Description
private com.google.common.collect.ImmutableList<DataType>	dataTypes

Constructor Summary

Constructors

Constructor	Description
ResolvedDatatypeDecl(com.google.common.collect.ImmutableList<DataType> dataTypes)

Method Summary

Modifier and Type	Method	Description
Core.DatatypeDecl	toDecl()	Creates a datatype declaration that may have multiple datatypes.
private Core.Exp	toExp(List<DataType> dataTypes, Core.Exp resultExp)
(package private) Core.Exp	toExp(Core.Exp resultExp)	Converts the declaration to a let or a local.

Methods inherited from class java.lang.Object

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

Field Detail

dataTypes

private final com.google.common.collect.ImmutableList<DataType> dataTypes

Constructor Detail

ResolvedDatatypeDecl

ResolvedDatatypeDecl(com.google.common.collect.ImmutableList<DataType> dataTypes)

Method Detail

toExp

Core.Exp toExp(Core.Exp resultExp)

Description copied from class: Resolver.ResolvedDecl

Converts the declaration to a let or a local.

Specified by:

toExp in class Resolver.ResolvedDecl

toExp

private Core.Exp toExp(List<DataType> dataTypes,
                       Core.Exp resultExp)

toDecl

public Core.DatatypeDecl toDecl()

Creates a datatype declaration that may have multiple datatypes.

Only the REPL needs this. Because datatypes are not recursive, a composite declaration

 datatype d1 ... and d2 ...

can always be converted to a chained local,

 local datatype d1 ... in local datatype d2 ... end end