Weryfikacja przykładów
Przykłady są pełnymi jednostkami źródłowymi sprawdzanymi w odrębnych projektach. Dla importu dołączany jest wskazany moduł. Błąd narzędzia lub manifestu nie zalicza próby negatywnej.
Zakres: kontrola check, bez generowania i uruchamiania programu. Pozytywny wynik nie jest dowodem kompletnej semantyki, zgodności backendów ani działania sieci.
| Konstrukcja | Poprawny przykład | Błędny przykład |
|---|---|---|
| lexical | Przyjęty | Odrzucony z diagnostyką języka |
| types | Przyjęty | Odrzucony z diagnostyką języka |
| declarations | Przyjęty | Odrzucony z diagnostyką języka |
| tasks | Przyjęty | Odrzucony z diagnostyką języka |
| state | Przyjęty | Odrzucony z diagnostyką języka |
| expressions | Przyjęty | Odrzucony z diagnostyką języka |
| communication | Przyjęty | Odrzucony z diagnostyką języka |
| pipelines | Przyjęty | Odrzucony z diagnostyką języka |
| placement | Przyjęty | Odrzucony z diagnostyką języka |
| protocols | Przyjęty | Odrzucony z diagnostyką języka |
| modules | Przyjęty | Odrzucony z diagnostyką języka |
| storage | Przyjęty | Odrzucony z diagnostyką języka |
| extern | Przyjęty | Odrzucony z diagnostyką języka |
| metadata | Przyjęty | Odrzucony z diagnostyką języka |
| tasks-parameters | Przyjęty | Odrzucony z diagnostyką języka |
| tasks-consumer | Przyjęty | Odrzucony z diagnostyką języka |
| tasks-periodic | Przyjęty | Odrzucony z diagnostyką języka |
| tasks-hook | Przyjęty | Odrzucony z diagnostyką języka |
| communication-queue | Przyjęty | Odrzucony z diagnostyką języka |
| communication-nack | Przyjęty | Odrzucony z diagnostyką języka |
| communication-stream | Przyjęty | Odrzucony z diagnostyką języka |
| communication-target | Przyjęty | Odrzucony z diagnostyką języka |
| pipelines-names | Przyjęty | Odrzucony z diagnostyką języka |
| pipelines-parallel | Przyjęty | Odrzucony z diagnostyką języka |
| pipelines-chain | Przyjęty | Odrzucony z diagnostyką języka |
| placement-deployment | Przyjęty | Odrzucony z diagnostyką języka |
| placement-target | Przyjęty | Odrzucony z diagnostyką języka |
| placement-memory | Przyjęty | Odrzucony z diagnostyką języka |
| placement-feature | Przyjęty | Odrzucony z diagnostyką języka |
| protocols-reference | Przyjęty | Odrzucony z diagnostyką języka |
| protocols-arrow | Przyjęty | Odrzucony z diagnostyką języka |
| modules-select | Przyjęty | Odrzucony z diagnostyką języka |
| modules-path | Przyjęty | Odrzucony z diagnostyką języka |
| modules-collision | Przyjęty | Odrzucony z diagnostyką języka |
| modules-missing | Przyjęty | Odrzucony z diagnostyką języka |
| modules-cycle | Przyjęty | Odrzucony z diagnostyką języka |
| storage-type | Przyjęty | Odrzucony z diagnostyką języka |
| storage-shape | Przyjęty | Odrzucony z diagnostyką języka |
| storage-filter | Przyjęty | Odrzucony z diagnostyką języka |
| storage-single | Przyjęty | Odrzucony z diagnostyką języka |
| storage-set | Przyjęty | Odrzucony z diagnostyką języka |
| storage-call | Przyjęty | Odrzucony z diagnostyką języka |
| extern-binding | Przyjęty | Odrzucony z diagnostyką języka |
| extern-target | Przyjęty | Odrzucony z diagnostyką języka |
| extern-type | Przyjęty | Odrzucony z diagnostyką języka |
| extern-body | Przyjęty | Odrzucony z diagnostyką języka |
| metadata-label | Przyjęty | Odrzucony z diagnostyką języka |
| metadata-supervisor | Przyjęty | Odrzucony z diagnostyką języka |
| metadata-breaker | Przyjęty | Odrzucony z diagnostyką języka |
| types-let | Przyjęty | Odrzucony z diagnostyką języka |
| types-array | Przyjęty | Odrzucony z diagnostyką języka |
| types-union | Przyjęty | Odrzucony z diagnostyką języka |
| lexical-name | Przyjęty | Odrzucony z diagnostyką języka |
| lexical-float | Przyjęty | Odrzucony z diagnostyką języka |
| lexical-comment | Przyjęty | Odrzucony z diagnostyką języka |
| expressions-call | Przyjęty | Odrzucony z diagnostyką języka |
| expressions-if | Przyjęty | Odrzucony z diagnostyką języka |
| expressions-group | Przyjęty | Odrzucony z diagnostyką języka |
| declarations-struct | Przyjęty | Odrzucony z diagnostyką języka |
| declarations-enum | Przyjęty | Odrzucony z diagnostyką języka |
| declarations-fn | Przyjęty | Odrzucony z diagnostyką języka |
| declarations-duplicate | Przyjęty | Odrzucony z diagnostyką języka |
| state-declaration | Przyjęty | Odrzucony z diagnostyką języka |
| state-periodic | Przyjęty | Odrzucony z diagnostyką języka |
128 z 128 oczekiwanych wyników kontroli potwierdzono przy tym budowaniu.
Identyfikacja źródeł
Wersję badanych źródeł identyfikują skróty SHA-256:
- Korpus przykładów:
94e2e51bd56ae5cdc1e2e696683d0c883b02ddee4785fd6c110dddbea51c5779. - Lokalny artefakt CLI:
2459ffacaab0ba6108ca9a5034deeafbfaa80dc34d3b089cffa16933df39c3ab. - Gramatyka:
ff9456f090dd69acf255b68a3da3450a471ffa8ee5e650e1e0e8e6c09a032358.
Korpus obejmuje ograniczone przykłady składniowe i wybrane błędy semantyczne. Nie oznacza pełnego pokrycia każdej konstrukcji i wszystkich możliwych błędów znaczeniowych.