roblox-ts / luau-ast

roblox-ts

A TypeScript-to-Luau Compiler for Roblox

 

Introduction

roblox-ts is an attempt to bridge the abilities of TypeScript to work in a Roblox environment. We break down your code into an abstract syntax tree and emit functionally similar structures in Luau so that the code behaves the same.

Quick start & Documentation

Ready to dive in? Check out the documentation.

Join the Community!

https://discord.roblox-ts.com

Games that use roblox-ts

luau-ast's Issues

Multiline interpolated strings produces invalid backslashes

Easy reproduction
https://roblox-ts.com/playground/#code/O4QwTgdgFABgNgewQawAQElUgLYFgBQIq2ArnAC4CWclEApqgM7li0DmMAlEA

warn(`look I am
a multiline string`)

produces

warn(`look I am
\
a multiline string`)

The actual emit should be

warn(`look I am\
a multiline string`)

Remove `isReservedRoactClassField`

Issue to remember; Will no longer be used after roblox-ts/roblox-ts#2404

`luau.None` should be included in `isSimplePrimitive`

Unicode escape codes in template literal strings are improperly sanitized

When using unicode escape codes (\u{XXXX}) in template literal strings, the compiler escapes the curly braces when it shouldn't resulting in malformed escape sequences.

Example Source Code

const string_a = "\u{E000}";
const string_b = `\u{E000}`;

Expected Emit

local string_a = "\u{E000}"
local string_b = `\u{E000}`

Actual Emit

local string_a = "\u{E000}"
local string_b = `\u\{E000\}` -- throws!

Playground Link

Overlength line wrapping

Moved from roblox-ts/roblox-ts#1676

Currently, LuauRenderer never wraps things like luau.Array, regardless of line length. This results in very unreadable emit, making it very hard to debug stacktraces in case any of the initialisers errors.

Unit test for `First*` and `Last*` enums

https://github.com/roblox-ts/luau-ast/blob/master/src/LuauAST/impl/enums.ts#L51-L58

It's easy to accidentally break these. So we should add a quick unit test which verifies:

assert(SyntaxKind.FirstIndexableExpression === 0);
assert(SyntaxKind.FirstExpression === 0);
// TODO: verify SyntaxKind.LastIndexableExpression?
assert(SyntaxKind.LastExpression + 1 === SyntaxKind.FirstStatement);
assert(SyntaxKind.LastStatement + 1 === SyntaxKind.FirstField);
assert(SyntaxKind.LastField === Math.max(...Object.values(SyntaxKind).filter((v): v is number => typeof v === "number")));

playground