moonad-archive / formality-javascript

An implementation of the Formality language in JavaScript

Formality.js

Main repository for the JavaScript implementation of the Formality language.

Documentation.

Base libraries.

You can install Formality via npm with:

$ npm i -g formality-lang

Or via nix with:

$ git clone https://gitlab.com/moonad/Formality-JavaScript.git
$ cd Formality-JavaScript
$ nix-channel add https://nixos.org/channels/nixpkgs-unstable unstable
$ nix-env -f default.nix formality-lang

It can be used from the terminal with the fm command, or as a library with require("formality-lang").

formality-javascript's Issues

ReferenceError: TextEncoder is not defined

The setup

I went to the wiki and followed the step in "0. Installation" successfully:

>> node -v

v8.16.0

>> npm -v

6.4.1

>> fmc

Formality-Core
...
Note: fmc will automatically import any local file ending in .fmc.

>> lsb_release -a

No LSB modules are available.
Distributor ID: Ubuntu
Description: Ubuntu 18.04.2 LTS
Release: 18.04
Codename: bionic

The hello world file main.fmc:

def main:
  "Hello, world!"

The error

>> fmc main

/home/dan/opt/npm/lib/node_modules/formality-core/fm-core.js:819
var bytes = [].slice.call(new TextEncoder("utf-8").encode(text), 0);
^

ReferenceError: TextEncoder is not defined
at text_to_term (/home/dan/opt/npm/lib/node_modules/formality-core/fm-core.js:819:33)
at parse_term (/home/dan/opt/npm/lib/node_modules/formality-core/fm-core.js:171:14)
at Object.parse (/home/dan/opt/npm/lib/node_modules/formality-core/fm-core.js:287:18)
at Object. (/home/dan/opt/npm/lib/node_modules/formality-core/main.js:57:28)
at Module._compile (module.js:653:30)
at Object.Module._extensions..js (module.js:664:10)
at Module.load (module.js:566:32)
at tryModuleLoad (module.js:506:12)
at Function.Module._load (module.js:498:3)
at Function.Module.runMain (module.js:694:10)

The error seems to appear also when called on a file that does not exist

>> fmc doesnotexist

/home/dan/opt/npm/lib/node_modules/formality-core/fm-core.js:819
var bytes = [].slice.call(new TextEncoder("utf-8").encode(text), 0);
^

ReferenceError: TextEncoder is not defined
at text_to_term (/home/dan/opt/npm/lib/node_modules/formality-core/fm-core.js:819:33)
at parse_term (/home/dan/opt/npm/lib/node_modules/formality-core/fm-core.js:171:14)
at Object.parse (/home/dan/opt/npm/lib/node_modules/formality-core/fm-core.js:287:18)
at Object. (/home/dan/opt/npm/lib/node_modules/formality-core/main.js:57:28)
at Module._compile (module.js:653:30)
at Object.Module._extensions..js (module.js:664:10)
at Module.load (module.js:566:32)
at tryModuleLoad (module.js:506:12)
at Function.Module._load (module.js:498:3)
at Function.Module.runMain (module.js:694:10)