From fe20b9064fca765a38345a09aa484bfb537aa3c0 Mon Sep 17 00:00:00 2001 From: Martin Odersky Date: Mon, 14 Nov 2016 11:58:59 +0100 Subject: Pickle and unpickle type trees Lots of other changes to make positions work out everywhere. One important change is that now trees can be shared, just as types can. This change improves memory requirements (a bit) and also makes positions in shared trees more robust. --- docs/syntax-summary.txt | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'docs') diff --git a/docs/syntax-summary.txt b/docs/syntax-summary.txt index 0a52ec802..04e149de6 100644 --- a/docs/syntax-summary.txt +++ b/docs/syntax-summary.txt @@ -160,7 +160,7 @@ grammar. SimpleExpr1 ::= Literal | Path | `_' - | `(' ExprsInParens `)' Parens(exprs) + | `(' ExprsInParens2 `)' Parens(exprs) | SimpleExpr `.' id Select(expr, id) | SimpleExpr (TypeArgs | NamedTypeArgs) TypeApply(expr, args) | SimpleExpr1 ArgumentExprs Apply(expr, args) @@ -210,7 +210,7 @@ grammar. | SimplePattern1 `.' id PatVar ::= varid | `_' - Patterns ::= Pattern [`,' Pattern] + Patterns ::= Pattern {`,' Pattern} ArgumentPatterns ::= `(' [Patterns] `)' Apply(fn, pats) | `(' [Patterns `,'] Pattern2 `:' `_' `*' ') -- cgit v1.2.3