The Tony programming language

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

Documentation, Install

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.

Contains a message: string.

Release

1. Review breaking changes and deprecations in CHANGELOG.md.
2. Change the version in package.json and src/version.ts.
3. Reset CHANGELOG.md.
4. Create a pull request to merge the changes into master.
5. After the pull request was merged, create a new release listing the breaking changes and commits on master since the last release.
6. The release workflow will publish the package to NPM.