The Tony programming language

Tony is a strongly typed, high level, general purpose programming language built for parallelism.

API	Errors

This repository is home to the compiler and the type inference algorithm of Tony. Other core components of Tony can be found through the following links:

Parser
CLI

API

The functionality of the Tony compiler is exposed by the tony-lang package.

After installing the package, provided functions can be imported:

import * as Tony from 'tony-lang'

`compile`

function compile(
  file: string,
  { outFile, emit, webpack, webpackMode, verbose }: {
    outFile?: string;
    emit?: boolean;
    webpack?: boolean;
    webpackMode?: string;
    verbose?: boolean;
  }
): Promise<string | undefined>

Resolves imports, infers and checks types, and compiles the given file to JavaScript. Returns the path to compiled Javascript entry.

`exec`

function exec(
  file: string,
  args: string[],
  { verbose }: { verbose?: boolean }
): Promise<void>

Executes a compiled JavaScript file with the provided arguments.

`parse`

export function parse(
  file: string,
  { verbose }: { verbose?: boolean }
): Promise<Parser.Tree>

Parses the given file and returns a Tree-sitter (abstract syntax) tree.

Errors

There are three separate classes of errors that the Tony compiler may throw:

SyntaxError, indicates a syntactic error.
CompileError, indicates a semantic problem.
InternalError, indicates a bug in the compiler and should be reported in the issue tracker.

`SyntaxError`

Is thrown when the Tree-sitter parser is unable to parse a file.

Contains attributes filePath: string and tree: Parser.Tree. message is set to undefined.

`CompileError`

CompileError is abstract. Therefore, only instances of subclasses may be thrown.

Contains context: { filePath: Path, node: Node }.

`CycilcDependenciesError`

Is thrown when the dependency graph is not acyclic.

Contains cyclicDependency: CyclicDependency<Path> representing file paths who depend on each other. message is set to undefined.

`DuplicateBindingError`

Is thrown when an identifier or type is assigned to/declared multiple times.

Contains binding: Binding representing the duplicate identifier/type. message is set to undefined.

`ExportOutsideModuleScopeError`

Is thrown when the export expression is used outside of a module scope.

message is set to undefined.

`ExternalTypeImportError`

Is thrown when a type is imported from an external module.

Contains type: Type representing the type whose import was attempted. message is set to undefined.

`ImportOutsideFileModuleScopeError`

Is thrown when import is used outside of a file-level module scope.

message is set to undefined.

`IndeterminateTypeError`

Is thrown when the actual type of a type variable cannot be determined during inference.

Contains types: Type[] representing the an array of possible types for the indeterminate expression. message is set to undefined.

`InvalidModuleAccessError`

Is thrown when a binding is accessed that does not exist on the accessed module.

Contains binding: Binding representing the accessed binding and type: Type representing the type of the accessed module. message is set to undefined.

`MissingBindingError`

Is thrown when the value of an unassigned/undeclared identifier/type is attempted to be used.

Contains binding: Binding representing the missing identifier/type. message is set to undefined.

`MissingExternalImportTypeHintError`

Is thrown when an external import is lacking a type hint.

Contains binding: Binding representing the binding lacking the type hint. message is set to undefined.

`TypeError`

Is thrown when two types cannot be unified.

Contains trace: TypeMismatch[] representing a trace of mismatches from narrowest to broadest.

`UnknownImportError`

Is thrown when the extension of an imported file cannot be handled by Tony.

Contains sourcePath: Path representing the file that could not be imprted. message is set to undefined.

`UnsupportedSyntaxError`

Is thrown when a syntactical construct is used that is not yet implemented by the compiler.

Contains a message: string.

`UseOfTypeAsValueError`

Is thrown when a type is used as a value.

Contains type: Type representing the type used as a value. message is set to undefined.

`InternalError`

Errors of this class should not be thrown. If they are, they should be reported in the issue tracker immediately.