defer statement

R=r
OCL=23542
CL=23542

usr/gri/pretty/parser.go

@@ -1186,11 +1186,11 @@ func (P *Parser) ParseSimpleStat(range_ok bool) *AST.Stat {
 }
 
 
-func (P *Parser) ParseGoStat() *AST.Stat {
-	P.Trace("GoStat");
+func (P *Parser) ParseInvocationStat(keyword int) *AST.Stat {
+	P.Trace("InvocationStat");
 
-	s := AST.NewStat(P.pos, Scanner.GO);
-	P.Expect(Scanner.GO);
+	s := AST.NewStat(P.pos, keyword);
+	P.Expect(keyword);
 	s.Expr = P.ParseExpression(1);
 
 	P.Ecart();
@@ -1434,8 +1434,8 @@ func (P *Parser) ParseStatement() *AST.Stat {
 		Scanner.LBRACK, Scanner.STRUCT,  // composite type
 		Scanner.MUL, Scanner.AND, Scanner.ARROW:  // unary
 		s = P.ParseSimpleStat(false);
-	case Scanner.GO:
-		s = P.ParseGoStat();
+	case Scanner.GO, Scanner.DEFER:
+		s = P.ParseInvocationStat(P.tok);
 	case Scanner.RETURN:
 		s = P.ParseReturnStat();
 	case Scanner.BREAK, Scanner.CONTINUE, Scanner.GOTO, Scanner.FALLTHROUGH:

usr/gri/pretty/printer.go

@@ -776,7 +776,9 @@ func (P *Printer) Stat(s *AST.Stat) {
 		P.indentation--;
 		P.newlines = 1;
 
-	case Scanner.GO, Scanner.RETURN, Scanner.FALLTHROUGH, Scanner.BREAK, Scanner.CONTINUE, Scanner.GOTO:
+	case
+		Scanner.GO, Scanner.DEFER, Scanner.RETURN, Scanner.FALLTHROUGH,
+		Scanner.BREAK, Scanner.CONTINUE, Scanner.GOTO:
 		P.Token(s.Pos, s.Tok);
 		if s.Expr != nil {
 			P.separator = blank;

usr/gri/pretty/scanner.go

@@ -84,6 +84,7 @@ const (
 	CONTINUE;
 
 	DEFAULT;
+	DEFER;
 	ELSE;
 	FALLTHROUGH;
 	FOR;
@@ -185,6 +186,7 @@ func TokenString(tok int) string {
 	case CONTINUE: return "continue";
 
 	case DEFAULT: return "default";
+	case DEFER: return "defer";
 	case ELSE: return "else";
 	case FALLTHROUGH: return "fallthrough";
 	case FOR: return "for";

usr/gri/pretty/selftest2.go

@@ -123,7 +123,7 @@ func f3(a *[]int, m map[string] int) {
 	var i string;
 	var x int;
 	for i, x = range m {
-		println(i, x);
+		defer println(i, x);
 	}
 }
 

usr/gri/pretty/test.sh

@@ -27,7 +27,7 @@ apply1() {
 	# the following have semantic errors: bug039.go | bug040.go
 	method1.go | selftest1.go | func3.go | \
 	bug014.go | bug025.go | bug029.go | bug032.go | bug039.go | bug040.go | bug050.go |  bug068.go | \
-	bug088.go | bug083.go | bug106.go | bug125.go | bug126.go | bug132.go ) ;;
+	bug088.go | bug083.go | bug106.go | bug125.go | bug126.go | bug132.go | bug133.go ) ;;
 	* ) $1 $2; count $F;;
 	esac
 }