diff options
| author | Martin Odersky <odersky@gmail.com> | 2016-11-17 18:56:16 +0100 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2016-11-17 18:56:16 +0100 |
| commit | 5637720ea8769faa86b2cfedbfe9fe705e3f5b28 (patch) | |
| tree | e8e2c8fee9df05fa10d54e78464532122e214dec /src/dotty/tools/dotc/core/tasty/TastyFormat.scala | |
| parent | fe20b9064fca765a38345a09aa484bfb537aa3c0 (diff) | |
| download | dotty-5637720ea8769faa86b2cfedbfe9fe705e3f5b28.tar.gz dotty-5637720ea8769faa86b2cfedbfe9fe705e3f5b28.tar.bz2 dotty-5637720ea8769faa86b2cfedbfe9fe705e3f5b28.zip | |
Address reviewer's comments.
Diffstat (limited to 'src/dotty/tools/dotc/core/tasty/TastyFormat.scala')
| -rw-r--r-- | src/dotty/tools/dotc/core/tasty/TastyFormat.scala | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/dotty/tools/dotc/core/tasty/TastyFormat.scala b/src/dotty/tools/dotc/core/tasty/TastyFormat.scala index 80bd39841..5e84c7428 100644 --- a/src/dotty/tools/dotc/core/tasty/TastyFormat.scala +++ b/src/dotty/tools/dotc/core/tasty/TastyFormat.scala @@ -89,10 +89,10 @@ Standard-Section: "ASTs" TopLevelStat* BIND Length boundName_NameRef patType_Type pat_Term ALTERNATIVE Length alt_Term* UNAPPLY Length fun_Term ImplicitArg* pat_Type pat_Term* - IDENTtpt NameRef Type // used when type ident's type is not a TypeRef + IDENTtpt NameRef Type // used for all type idents SELECTtpt NameRef qual_Term SINGLETONtpt Path - REFINDtpt Length underlying_Term refinement_Stat* + REFINEDtpt Length underlying_Term refinement_Stat* APPLIEDtpt Length tycon_Term arg_Term* POLYtpt Length TypeParam* body_Term TYPEBOUNDStpt Length low_Term high_Term |