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

Gulp, TypeScript, and Monaco #6523

Merged
merged 36 commits into from
Feb 4, 2020
Merged

Gulp, TypeScript, and Monaco #6523

merged 36 commits into from
Feb 4, 2020

Conversation

riknoll
Copy link
Member

@riknoll riknoll commented Feb 3, 2020

This PR does three things:

  1. Gets rid of Jake in favor of Gulp
  2. Upgrades our TypeScript version to 3.7.5
  3. Upgrades our Monaco version to 0.19.3

It also removes our dependency on pxt-monaco-typescript and replaces it with the stock TS language service. The plan is to remove that service and switch entirely over to one implemented by us in the near future.

I'm marking this as a draft PR until I've opened PRs on each of the targets to upgrade to the new TS version.

@@ -0,0 +1,557 @@
const fs = require("fs");
Copy link
Contributor

Choose a reason for hiding this comment

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

FWIW, gulp seems to support .ts pretty easily: "For TypeScript, rename to gulpfile.ts and install the ts-node module." https://gulpjs.com/docs/en/getting-started/javascript-and-gulpfiles

runUglify
);

const travis = gulp.series(buildAll, lint, testAll, targetjs, pxtTravis);
Copy link
Contributor

Choose a reason for hiding this comment

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

Much much cleaner!

@darzu
Copy link
Contributor

darzu commented Feb 4, 2020

Very excited about gulp. It's a much better foundation.
I suspect we could get even more of an improvement if we could pipe output from tasks directly into each other instead of outputing files to built/ and then consuming from built/, but I would need to look into it more myself.

@riknoll riknoll marked this pull request as ready for review February 4, 2020 19:15
@riknoll riknoll merged commit cb0bc75 into master Feb 4, 2020
@riknoll riknoll deleted the gulp-and-monaco branch February 4, 2020 21:08
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants