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

Type system support #129

Merged
merged 9 commits into from
Feb 13, 2024
Merged

Type system support #129

merged 9 commits into from
Feb 13, 2024

Conversation

ivojawer
Copy link
Contributor

@ivojawer ivojawer commented Jan 7, 2024

Resuelve item de uqbar-project/wollok-ts#187

Wollok? Un tipazo

image

Depende de uqbar-project/wollok-ts#203

Copy link

codecov bot commented Feb 11, 2024

Codecov Report

All modified and coverable lines are covered by tests ✅

Comparison is base (602ccc9) 83.11% compared to head (efe23a0) 83.11%.

Additional details and impacted files
@@           Coverage Diff           @@
##           master     #129   +/-   ##
=======================================
  Coverage   83.11%   83.11%           
=======================================
  Files          11       11           
  Lines         308      308           
  Branches       80       80           
=======================================
  Hits          256      256           
  Misses         52       52           
Flag Coverage Δ
lsp-ide-server 83.11% <ø> (ø)

Flags with carried forward coverage won't be shown. Click here to find out more.

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

Copy link
Contributor Author

@ivojawer ivojawer left a comment

Choose a reason for hiding this comment

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

@fdodino se habia movido el log y el time measurement del buildeo del environment asi que al mergearlo con el nuevo logger lo deje asi

Comment on lines +45 to +51
const message = `✘ Failed to build environment: ${error}`
logger.error({
level: 'error',
files: files.map(file => file.name),
message,
})
throw error
Copy link
Contributor Author

Choose a reason for hiding this comment

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

Lo puse aca, que es donde se buildea el environment

Copy link
Contributor

Choose a reason for hiding this comment

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

Piola!

message,
})
connection.console.error(message)
connection.console.error(`✘ Failed to rebuild document: ${e}`)
Copy link
Contributor Author

Choose a reason for hiding this comment

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

Como ahora el buildEnvironment hace el log aca deje solo el mostrar el error al usuario

@ivojawer ivojawer marked this pull request as ready for review February 11, 2024 01:07
Copy link
Contributor

@fdodino fdodino left a comment

Choose a reason for hiding this comment

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

🍾

server/src/utils/vm/environment.ts Outdated Show resolved Hide resolved
Comment on lines +45 to +51
const message = `✘ Failed to build environment: ${error}`
logger.error({
level: 'error',
files: files.map(file => file.name),
message,
})
throw error
Copy link
Contributor

Choose a reason for hiding this comment

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

Piola!

Comment on lines +11 to +24
test('hover field', async () => {
await testHover(
hoverURI,
new Position(1, 8),
new Hover(
[
new MarkdownString('\n```text\nField: Number\n```\n'),
new MarkdownString('\n```wollok\nconst x = 2\n```\n'),
],
new Range(new Position(1, 2), new Position(2, 0))
)
)
})
})
Copy link
Contributor

Choose a reason for hiding this comment

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

🏅

Co-authored-by: Fernando Dodino <fernando.dodino@gmail.com>
@PalumboN
Copy link
Contributor

RnR 🚀🚀🚀

@ivojawer ivojawer merged commit 82f610d into master Feb 13, 2024
6 checks passed
@ivojawer ivojawer deleted the type-system branch February 13, 2024 16:24
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.

3 participants