TastyHeader
dotty.tools.tasty.TastyHeader
The Tasty Header consists of four fields: - uuid
contains a hash of the sections of the TASTy file - majorVersion
matching the TASTy format version that last broke backwards compatibility - minorVersion
matching the TASTy format version that last broke forward compatibility - experimentalVersion
0 for final compiler version
positive for between minor versions and forward compatibility is broken since the previous stable version. - toolingVersion
arbitrary string representing the tooling that produced the TASTy
Attributes
- Source
- TastyHeaderUnpickler.scala
- Graph
-
- Supertypes
Members list
In this article