Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Sandbox server & @inline directive #408

Merged
merged 20 commits into from
May 2, 2021
Merged

Sandbox server & @inline directive #408

merged 20 commits into from
May 2, 2021

Conversation

gdotdesign
Copy link
Member

@gdotdesign gdotdesign commented May 1, 2021

This PR adds the sandbox-server command to start a server for compiling and formatting files for the sandbox (https://sandbox.mint-lang.com/) and for the new tutorial site (https://tutorial.mint-lang.com/introduction/basics).

It also adds the @inline directive which inlines a text file to the compiled JavaScript code.

src/type_checkers/directives/inline.cr Outdated Show resolved Hide resolved
src/sandbox_server.cr Outdated Show resolved Hide resolved
@gdotdesign gdotdesign self-assigned this May 2, 2021
@gdotdesign gdotdesign added this to the 0.13.0 milestone May 2, 2021
@gdotdesign gdotdesign marked this pull request as ready for review May 2, 2021 09:41
src/commands/sandbox_server.cr Outdated Show resolved Hide resolved
spec/compilers_spec.cr Outdated Show resolved Hide resolved
@Sija Sija added enhancement New feature or request language Language feature tooling Tooling related feature (formatter, documentation, production builder) labels May 2, 2021
@Sija Sija changed the title Sandbox Server & Inline Directive Sandbox server & @inline directive May 2, 2021
Copy link
Member

@Sija Sija left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM 🚀

@gdotdesign gdotdesign merged commit c6be43e into master May 2, 2021
@gdotdesign gdotdesign deleted the sandbox-server branch May 2, 2021 16:14
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request language Language feature tooling Tooling related feature (formatter, documentation, production builder)
Development

Successfully merging this pull request may close these issues.

2 participants