Repository navigation
Commit d152fec
committed
Remove Basilisk from conformance results
Remove Basilisk from conformance results
Reverts #2316, at the request of Basilisk's author.
Some of Basilisk's rules match raw source text and hard-coded typing symbol
names rather than resolved symbols on the AST, so its published score
reflects the spelling of the test files rather than conformance to the
specification. Semantics-preserving changes to the suite — renaming
imported typing symbols, adjusting whitespace — collapse the result.
Removes the basilisk result files, the BasiliskTypeChecker adapter, the
dependency entries, and the README reference, and regenerates
results.html from the remaining checkers. No other type checker's
results are affected.1 parent a490662 commit d152fec
147 files changed
Lines changed: 24 additions & 2302 deletions
File tree
- conformance
- results
- basilisk
- src
Some content is hidden
Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
81 | 81 | | |
82 | 82 | | |
83 | 83 | | |
84 | | - | |
| 84 | + | |
85 | 85 | | |
86 | 86 | | |
87 | 87 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
3 | 3 | | |
4 | 4 | | |
5 | 5 | | |
6 | | - | |
7 | 6 | | |
8 | 7 | | |
9 | 8 | | |
| |||
This file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.
0 commit comments