Various test improvements to increase coverage and speed things up

[JaroslavTulach]

Pull Request Description

This PR fixes some typing problems in distribution, speeds MetaIsATest to 20s (previously 80s) by caching the computed values in ValuesGenerator and makes sure there are "polyglot variants" of tests checking the behavior of Meta and TypeOf on JavaScript & other values.

Checklist

Please ensure that the following checklist has been satisfied before submitting the PR:

• All code follows the
  Java,
• All code has been tested:
  • Unit tests have been written where possible.

[JaroslavTulach]

There are strange errors like:

  - [FAILED] should send Get request using fetch [99ms]
Reason: An unexpected dataflow error ((Request_Error.Error 'IllegalArgumentException' Nothing)) 
has been matched (at /runner/_work/enso/enso/test/Tests/src/Network/Http_Spec.enso:57:13-53).

Very strange given we only change ascription (which is ignored) and unit tests (which are unrelated).

[Akirathan]

There are strange errors like:

  - [FAILED] should send Get request using fetch [99ms]
Reason: An unexpected dataflow error ((Request_Error.Error 'IllegalArgumentException' Nothing)) 
has been matched (at /runner/_work/enso/enso/test/Tests/src/Network/Http_Spec.enso:57:13-53).

Very strange given we only change ascription (which is ignored) and unit tests (which are unrelated).

This is a global problem with our CI now. Try to add CI: Clean build required label and restart the job. The problem seems to be related to the recent GraalVM upgrade

[radeusgd]

The std-lib part of the changes looks good (I didn't check the rest).

I'm really glad that the runtime type checking is allowing us to catch errors in the type signatures 🎉

[enso-bot]

Jaroslav Tulach reports a new STANDUP for yesterday (2023-05-25):

Progress: - Test coverage and speed up PR merged: #6820
- triage: #6841 (comment)
- some import/exports analysis
- Testing infra: #6840
- mess with imports: https://discord.com/channels/@me/948519891961544714/1111203653555081216
- Investigating .type issues: https://github.com/orgs/enso-org/discussions/6762#discussioncomment-5996400
- reported "local variable runtime check": #6848
- ascribed union types: fe89655
- working on tests/fixes for more complex signatures It should be finished by 2023-05-25.

Next Day: Bookclubs, bugfixing, ascribed types

Discord

Discord - A New Way to Chat with Friends & Communities

Discord is the easiest way to communicate over voice, video, and text. Chat, hang out, and stay close with your friends and communities.

GitHub

Language Server API · enso-org · Discussion #6762

When I was discussion with @Frizi the issue #6715, we discovered several points about Language Server API to be discussed broader @4e6 @hubertp : What widgets needs to know The widgets need to know...