Language.Oberon.Resolver

This module exports functions for resolving the syntactic ambiguities in a parsed module. For example, an Oberon expression foo(bar) may be a call to function foo with a parameter bar, or it may be type guard on variable foo casting it to type bar.

Documentation

resolveModules :: forall l. (BindableDeclaration l, CoFormalParameters l, Wirthy l, Traversable (Resolution l) (Declaration l l), Traversable (Resolution l) (DeclarationRHS l), Traversable (Resolution l) (Type l l), Traversable (Resolution l) (ProcedureHeading l l), Traversable (Resolution l) (FormalParameters l l), Traversable (Resolution l) (Expression l l), Traversable (Resolution l) (Block l l), Traversable (Resolution l) (StatementSequence l l), Traversable (Resolution l) (Module l l), Traversable (Resolution l) (Declaration l l), Traversable (Resolution l) (Type l l), Traversable (Resolution l) (ProcedureHeading l l), Traversable (Resolution l) (FormalParameters l l), Traversable (Resolution l) (Expression l l), Traversable (Resolution l) (Block l l), Traversable (Resolution l) (StatementSequence l l), Resolution l `At` Block l l NodeWrap NodeWrap) => Predefined l -> Map Ident (NodeWrap (Module l l NodeWrap NodeWrap)) -> Validation (NonEmpty (Ident, NonEmpty (Error l))) (Map Ident (Placed (Module l l Placed Placed)))

Resolve ambiguities in the given collection of modules, a Map keyed by module name. The value for the first argument is typically predefined or predefined2. Note that all class constraints in the function's type signature are satisfied by the Oberon Language.

resolveModule :: forall l. (BindableDeclaration l, CoFormalParameters l, Traversable (Resolution l) (Module l l), Traversable (Resolution l) (Block l l), Traversable (Resolution l) (Declaration l l), Traversable (Resolution l) (Type l l), Traversable (Resolution l) (FormalParameters l l), Traversable (Resolution l) (ConstExpression l l), Traversable (Resolution l) (StatementSequence l l), Traversable (Resolution l) (Declaration l l), Traversable (Resolution l) (DeclarationRHS l), Traversable (Resolution l) (Declaration l l), Traversable (Resolution l) (StatementSequence l l), Traversable (Resolution l) (Type l l), Traversable (Resolution l) (FormalParameters l l), Traversable (Resolution l) (ConstExpression l l), Resolution l `At` Block l l NodeWrap NodeWrap) => Scope l -> Map Ident (Validation (NonEmpty (Error l)) (Placed (Module l l Placed Placed))) -> NodeWrap (Module l l NodeWrap NodeWrap) -> Validation (NonEmpty (Error l)) (Placed (Module l l Placed Placed))

Resolve ambiguities in a single module. The value for the first argument is typically predefined or predefined2. The imports are resolved using the given map of already resolved modules. Note that all class constraints in the function's type signature are satisfied by the Oberon Language.

resolvePositions :: (p ~ NodeWrap, q ~ NodeWrap, Functor (Map p q) g) => Text -> p (g p p) -> q (g q q)

Replace the stored positions in the entire ambiguous parsed tree, as obtained from Language.Oberon.Grammar, | with offsets from the start of the given source text

resolvePosition :: Text -> NodeWrap a -> NodeWrap a

Replace the stored positions of the given node, as obtained from Language.Oberon.Grammar, with offset from the | start of the given source text

data Error l

All possible resolution errors

Constructors

UnknownModule (QualIdent l)

UnknownLocal Ident

UnknownImport (QualIdent l)

AmbiguousParses

AmbiguousDeclaration [Declaration l l NodeWrap NodeWrap]

AmbiguousDesignator [Designator l l NodeWrap NodeWrap]

AmbiguousExpression [Expression l l NodeWrap NodeWrap]

AmbiguousRecord [Designator l l NodeWrap NodeWrap]

AmbiguousStatement [Statement l l NodeWrap NodeWrap]

InvalidExpression (NonEmpty (Error l))

InvalidFunctionParameters [NodeWrap (Expression l l NodeWrap NodeWrap)]

InvalidRecord (NonEmpty (Error l))

InvalidStatement (NonEmpty (Error l))

NotARecord (QualIdent l)

NotAType (QualIdent l)

NotAValue (QualIdent l)

ClashingImports

UnparseableModule Text

Instances

Monad (Validation (NonEmpty (Error l)))

Defined in Language.Oberon.Resolver

Methods

(>>=) :: Validation (NonEmpty (Error l)) a -> (a -> Validation (NonEmpty (Error l)) b) -> Validation (NonEmpty (Error l)) b

(>>) :: Validation (NonEmpty (Error l)) a -> Validation (NonEmpty (Error l)) b -> Validation (NonEmpty (Error l)) b

return :: a -> Validation (NonEmpty (Error l)) a

(Show (QualIdent l), Show (Declaration l l NodeWrap NodeWrap), Show (Statement l l NodeWrap NodeWrap), Show (Expression l l NodeWrap NodeWrap), Show (Expression l l NodeWrap NodeWrap), Show (Designator l l NodeWrap NodeWrap)) => Show (Error l)

Defined in Language.Oberon.Resolver

Methods

showsPrec :: Int -> Error l -> ShowS

show :: Error l -> String

showList :: [Error l] -> ShowS

type Predefined l = Scope l

A set of predefined declarations.

type Placed = (,) (Int, ParsedLexemes, Int)

The node wrapper in a fully resolved AST

type NodeWrap = Compose ((,) (Int, Int)) (Compose Ambiguous ((,) ParsedLexemes))

The node wrapper in an ambiguous, freshly parsed AST, only with Position replaced with an offset from the beginning of the source.

predefined :: Oberon l => Predefined l

The set of Predefined types and procedures defined in the Oberon Language Report.

predefined2 :: Oberon l => Predefined l

The set of Predefined types and procedures defined in the Oberon-2 Language Report.