From: David Kastrup <dak@gnu.org>
Date: Thu, 12 Dec 2013 16:19:15 +0000 (+0100)
Subject: Parser: remove pitch_arg and PITCH_ARG
X-Git-Tag: release/2.19.0-1~69^2~3
X-Git-Url: https://git.donarmstrong.com/?a=commitdiff_plain;h=fbaefa094a049778a2866ba2eefcd842d453c7d4;p=lilypond.git

Parser: remove pitch_arg and PITCH_ARG
---

diff --git a/lily/parser.yy b/lily/parser.yy
index e20b9f11cc..0d5f055c36 100644
--- a/lily/parser.yy
+++ b/lily/parser.yy
@@ -336,7 +336,6 @@ If we give names, Bison complains.
 %token CONTEXT_MOD_IDENTIFIER
 %token DRUM_PITCH
 %token PITCH_IDENTIFIER
-%token PITCH_ARG
 %token DURATION_IDENTIFIER
 %token EVENT_IDENTIFIER
 %token EVENT_FUNCTION
@@ -1713,11 +1712,6 @@ function_arglist_backup:
 					       (parser, @3, $3),
 					       $1, $2);
 	}
-	| function_arglist_backup REPARSE pitch_arg
-	{
-		$$ = check_scheme_arg (parser, @3,
-				       $3, $1, $2);
-	}		
 	| function_arglist_backup REPARSE bare_number_common
 	{
 		$$ = check_scheme_arg (parser, @3,
@@ -2754,17 +2748,6 @@ pitch:
 	}
 	;
 
-pitch_arg:
-	PITCH_ARG quotes {
-                if (!scm_is_eq (SCM_INUM0, $2))
-                {
-                        Pitch p = *unsmob_pitch ($1);
-                        p = p.transposed (Pitch (scm_to_int ($2),0,0));
-                        $$ = p.smobbed_copy ();
-                }
-	}
-	;
-
 gen_text_def:
 	full_markup {
 		Music *t = MY_MAKE_MUSIC ("TextScriptEvent", @$);