X-Git-Url: https://git.donarmstrong.com/?a=blobdiff_plain;f=scm%2Fly-syntax-constructors.scm;h=b617f72764eaa5a44e1af6414a5db2eea63a8116;hb=b579529b5f3f89a5b8a17760bb199b0eacc671be;hp=60af06436e64fa88f003d38d82cac029fbe6f33e;hpb=1c846b2c2348b4e0ca4a3c2e8fb267047ba2d203;p=lilypond.git

diff --git a/scm/ly-syntax-constructors.scm b/scm/ly-syntax-constructors.scm
index 60af06436e..b617f72764 100644
--- a/scm/ly-syntax-constructors.scm
+++ b/scm/ly-syntax-constructors.scm
@@ -1,6 +1,6 @@
 ;;;; This file is part of LilyPond, the GNU music typesetter.
 ;;;;
-;;;; Copyright (C) 2006--2011 Erik Sandberg <mandolaerik@gmail.com>
+;;;; Copyright (C) 2006--2015 Erik Sandberg <mandolaerik@gmail.com>
 ;;;;
 ;;;; LilyPond is free software: you can redistribute it and/or modify
 ;;;; it under the terms of the GNU General Public License as published by
@@ -15,251 +15,263 @@
 ;;;; You should have received a copy of the GNU General Public License
 ;;;; along with LilyPond.  If not, see <http://www.gnu.org/licenses/>.
 
-;; TODO: use separate module for syntax
-;; constructors. Also create wrapper around the constructor?
-(defmacro define-ly-syntax (args . body)
-  `(define-public ,args ,(cons 'begin body)))
-
-;; A ly-syntax constructor takes two extra parameters, parser and
-;; location. These are mainly used for reporting errors and
-;; warnings. This function is a syntactic sugar which uses the
-;; location arg to set the origin of the returned music object; this
-;; behaviour is usually desired
-(defmacro define-ly-syntax-loc (args . body)
-  `(define-public ,args
-     (let ((m ,(cons 'begin body)))
-       (set! (ly:music-property m 'origin) ,(third args))
-       m)))
-;; Like define-ly-syntax-loc, but adds parser and location
-;; parameters. Useful for simple constructors that don't need to
-;; report errors.
-(defmacro define-ly-syntax-simple (args . body)
-  `(define-public ,(cons* (car args)
-			  'parser
-			  'location
-			  (cdr args))
-     (let ((m ,(cons 'begin body)))
-       (set! (ly:music-property m 'origin) location)
-       m)))
+(define-module (scm ly-syntax-constructors)
+  #:use-module (lily)
+  #:use-module (srfi srfi-1))
+
+(define-public (music-function-call-error fun m)
+  (let* ((sigcar (car (ly:music-function-signature fun)))
+         (pred? (if (pair? sigcar) (car sigcar) sigcar)))
+    (ly:parser-error
+     (format #f (_ "~a function cannot return ~a")
+             (type-name pred?)
+             (value->lily-string m))
+     (*location*))
+    (and (pair? sigcar)
+         (if (ly:music? (cdr sigcar))
+             (ly:music-deep-copy (cdr sigcar) (*location*))
+             (cdr sigcar)))))
 
 ;; Music function: Apply function and check return value.
-(define-ly-syntax-loc (music-function parser loc fun args)
-  (let ((m (apply fun (cons* parser loc args))))
-    (if (ly:music? m)
-	m
-	(begin
-	  (ly:parser-error parser (_ "Music head function must return Music object") loc)
-	  (make-music 'Music)))))
-
-(define-ly-syntax-simple (void-music)
-  (make-music 'Music))
-
-(define-ly-syntax-simple (sequential-music mlist)
-  (make-sequential-music mlist))
-
-(define-ly-syntax-simple (simultaneous-music mlist)
-  (make-simultaneous-music mlist))
-
-(define-ly-syntax-simple (event-chord mlist)
-  (make-music 'EventChord
-	      'elements mlist))
-
-(define-ly-syntax-simple (unrelativable-music mus)
-  (make-music 'UnrelativableMusic
-	      'element mus))
-
-(define-ly-syntax-simple (context-change type id)
-  (make-music 'ContextChange
-	      'change-to-type type
-	      'change-to-id id))
-
-(define-ly-syntax-simple (voice-separator)
-  (make-music 'VoiceSeparator))
-
-(define-ly-syntax-simple (bar-check)
-  (make-music 'BarCheck))
-
-(define-ly-syntax-simple (time-scaled-music fraction music)
-  (make-music 'TimeScaledMusic
-  	      'element (ly:music-compress music (ly:make-moment (car fraction) (cdr fraction)))
-  	      'numerator (car fraction)
-  	      'denominator (cdr fraction)))
-
-(define-ly-syntax-simple (transpose-music pitch music)
-  (make-music 'TransposedMusic
-  	      'element (ly:music-transpose music pitch)))
-
-(define-ly-syntax-simple (tempo text duration tempo)
-  (let* ((range-tempo? (pair? tempo))
-	 (tempo-count (if range-tempo?
-			  (round (/ (+ (car tempo) (cdr tempo)) 2))
-			  tempo))
-	 (props (list
-		 (make-property-set 'tempoWholesPerMinute
-				    (ly:moment-mul (ly:make-moment tempo-count 1)
-						   (ly:duration-length duration)))
-		 (make-property-set 'tempoUnitDuration duration)
-		 (make-property-set 'tempoUnitCount tempo))))
-    (set! props (cons
-		 (if text (make-property-set 'tempoText text)
-                     (make-property-unset 'tempoText))
-		 props))
-    (context-spec-music
-     (make-sequential-music props)
-     'Score)))
-
-(define-ly-syntax-simple (tempoText text)
-  (context-spec-music
-   (make-sequential-music
-    (list
-     (make-property-unset 'tempoUnitDuration)
-     (make-property-unset 'tempoUnitCount)
-     (make-property-set 'tempoText text)))
-   'Score))
-
-(define-ly-syntax-simple (skip-music dur)
-  (make-music 'SkipMusic
-	      'duration dur))
-
-(define-ly-syntax-simple (repeat type num body alts)
-  (make-repeat type num body alts))
+;; args are in reverse order.
+;;
+;; If args is not a proper list, an error has been flagged earlier
+;; and no fallback value had been available.  In this case,
+;; we don't call the function but rather return the general
+;; fallback.
+(define-public (music-function fun args)
+  (let* ((sigcar (car (ly:music-function-signature fun)))
+         (pred? (if (pair? sigcar) (car sigcar) sigcar))
+         (good (list? args))
+         (m (and good (apply (ly:music-function-extract fun) (reverse! args)))))
+    (if good
+        (if (pred? m)
+            (if (ly:music? m) (ly:set-origin! m) m)
+            (music-function-call-error fun m))
+        (and (pair? sigcar)
+             (if (ly:music (cdr sigcar))
+                 (ly:music-deep-copy (cdr sigcar) (*location*))
+                 (cdr sigcar))))))
+
+(define-public (argument-error n pred arg)
+  (ly:parser-error
+   (format #f
+           (_ "wrong type for argument ~a.  Expecting ~a, found ~s")
+           n (type-name pred) (music->make-music arg))
+   (*location*)))
+
+;; Used for chaining several music functions together.  `final'
+;; contains the last argument and still needs typechecking.
+(define (music-function-chain fun args final)
+  (let* ((siglast (last (ly:music-function-signature fun)))
+         (pred? (if (pair? siglast) (car siglast) siglast)))
+    (if (pred? final)
+        (music-function fun (cons final args))
+        (begin
+          (argument-error (1+ (length args)) pred? final)
+          ;; call music function just for the error return value
+          (music-function fun #f)))))
+
+(define-public (partial-music-function fun-list arg-list)
+  (let* ((good (every list? arg-list))
+         (sig (ly:music-function-signature (car fun-list))))
+    (and good
+         (ly:make-music-function
+          (cons (car sig) (list-tail (cdr sig) (length (car arg-list))))
+          (lambda rest
+            ;; Every time we use music-function, it destructively
+            ;; reverses its list of arguments.  Changing the calling
+            ;; convention would be non-trivial since we do error
+            ;; propagation to the reversed argument list by making it
+            ;; a non-proper list.  So we just create a fresh copy of
+            ;; all argument lists for each call.  We also want to
+            ;; avoid reusing any music expressions without copying and
+            ;; want to let them point to the location of the music
+            ;; function call rather than its definition.
+            (let ((arg-list (ly:music-deep-copy arg-list (*location*))))
+              (fold music-function-chain
+                    (music-function (car fun-list)
+                                    (reverse! rest (car arg-list)))
+                    (cdr fun-list) (cdr arg-list))))))))
+
+(define-public (void-music)
+  (ly:set-origin! (make-music 'Music)))
+
+(define-public (sequential-music mlist)
+  (ly:set-origin! (make-sequential-music mlist)))
+
+(define-public (simultaneous-music mlist)
+  (ly:set-origin! (make-simultaneous-music mlist)))
+
+(define-public (event-chord mlist)
+  (ly:set-origin! (make-music 'EventChord
+                              'elements mlist)))
+
+(define-public (unrelativable-music mus)
+  (ly:set-origin! (make-music 'UnrelativableMusic
+                              'element mus)))
+
+(define-public (context-change type id)
+  (ly:set-origin! (make-music 'ContextChange
+                              'change-to-type type
+                              'change-to-id id)))
+
+(define-public (tempo text . rest)
+  (let* ((unit (and (pair? rest)
+                    (car rest)))
+         (count (and unit
+                     (cadr rest)))
+         (range-tempo? (pair? count))
+         (tempo-change (ly:set-origin! (make-music 'TempoChangeEvent
+                                                   'text text
+                                                   'tempo-unit unit
+                                                   'metronome-count count)))
+         (tempo-set
+          (and unit
+               (context-spec-music
+                (make-property-set 'tempoWholesPerMinute
+                                   (ly:moment-mul
+                                    (ly:make-moment
+                                     (if range-tempo?
+                                         (round (/ (+ (car count) (cdr count))
+                                                   2))
+                                         count)
+                                     1)
+                                    (ly:duration-length unit)))
+                'Score))))
+
+    (if tempo-set
+        (make-sequential-music (list tempo-change tempo-set))
+        tempo-change)))
+
+(define-public (repeat type num body alts)
+  (ly:set-origin! (make-repeat type num body alts)))
 
 (define (script-to-mmrest-text music)
   "Extract @code{'direction} and @code{'text} from @var{music}, and transform
 into a @code{MultiMeasureTextEvent}."
 
-  (if (memq 'script-event (ly:music-property music 'types))
-      (let* ((location (ly:music-property music 'origin))
-	     (dir (ly:music-property music 'direction))
-	     (tags (ly:music-property music 'tags))
-	     (p (make-music 'MultiMeasureTextEvent
-			    'origin location
-			    'tags tags
-			    'text (ly:music-property music 'text))))
-	(if (ly:dir? dir)
-	    (set! (ly:music-property p 'direction) dir))
-	p)
+  (if (music-is-of-type? music 'script-event)
+      (make-music 'MultiMeasureTextEvent music)
       music))
 
-(define-ly-syntax (multi-measure-rest parser location duration articulations)
-  (make-music 'MultiMeasureRestMusic
-	      'articulations (map script-to-mmrest-text articulations)
-	      'duration duration
-	      'origin location))
+(define-public (multi-measure-rest duration articulations)
+  (ly:set-origin! (make-music 'MultiMeasureRestMusic
+                              'articulations (map script-to-mmrest-text articulations)
+                              'duration duration)))
 
-(define-ly-syntax (repetition-chord parser location previous-chord repetition-function duration articulations)
-  (make-music 'RepeatedChord
-	      'original-chord previous-chord
-	      'element (repetition-function previous-chord location duration articulations)
-	      'origin location))
+(define-public (repetition-chord duration articulations)
+  (ly:set-origin! (make-music 'EventChord
+                              'duration duration
+                              'elements articulations)))
 
-(define-ly-syntax-simple (context-specification type id mus ops create-new)
-  (let* ((type-sym (if (symbol? type) type (string->symbol type)))
-	 (csm (context-spec-music mus type-sym id)))
+(define-public (context-specification type id ops create-new mus)
+  (let ((csm (context-spec-music mus type id)))
     (set! (ly:music-property csm 'property-operations) ops)
     (if create-new (set! (ly:music-property csm 'create-new) #t))
-    csm))
-
-(define-ly-syntax (property-operation parser location once ctx music-type symbol . args)
+    (ly:set-origin! csm)))
+
+(define-public (composed-markup-list commands markups)
+  ;; `markups' being a list of markups, eg (markup1 markup2 markup3),
+  ;; and `commands' a list of commands with their scheme arguments, in reverse order,
+  ;; eg: ((italic) (raise 4) (bold)), maps the commands on each markup argument, eg:
+  ;;  ((bold (raise 4 (italic markup1)))
+  ;;   (bold (raise 4 (italic markup2)))
+  ;;   (bold (raise 4 (italic markup3))))
+
+  (define (compose arg)
+    (fold
+     (lambda (cmd prev) (append cmd (list prev)))
+     arg
+     commands))
+  (let loop ((markups markups) (completed '()))
+    (cond ((null? markups) (reverse! completed))
+          ((markup? (car markups))
+           (loop (cdr markups)
+                 (cons (compose (car markups)) completed)))
+          (else
+           (call-with-values
+               (lambda () (break! markup? markups))
+             (lambda (complex rest)
+               (loop rest
+                     (reverse!
+                      (make-map-markup-commands-markup-list
+                       compose complex) completed))))))))
+
+(define-public (property-operation ctx music-type symbol . args)
   (let* ((props (case music-type
-		  ((PropertySet) (list 'value (car args)))
-		  ((PropertyUnset) '())
-		  ((OverrideProperty) (list 'grob-value (car args)
-					    'grob-property-path (if (list? (cadr args))
-								    (cadr args)
-								    (cdr args))
-					    'pop-first #t))
-		  ((RevertProperty)
-		   (if (list? (car args))
-		       (list 'grob-property-path (car args))
-		       (list 'grob-property-path args)))
-		  (else (ly:error (_ "Invalid property operation ~a") music-type))))
-	 (oprops (if once (cons* 'once once props) props))
-	 (m (apply make-music music-type
-		   'symbol symbol
-		   'origin location
-		   oprops)))
-    (make-music 'ContextSpeccedMusic
-		'element m
-		'context-type ctx
-		'origin location)))
-
-;; TODO: It seems that this function rarely returns anything useful.
-(define (get-first-context-id type mus)
-  "Find the name of a ContextSpeccedMusic with given type"
+                  ((PropertySet) (list 'value (car args)))
+                  ((PropertyUnset) '())
+                  ((OverrideProperty) (list 'grob-value (car args)
+                                            'grob-property-path (if (list? (cadr args))
+                                                                    (cadr args)
+                                                                    (cdr args))
+                                            'pop-first #t))
+                  ((RevertProperty)
+                   (if (list? (car args))
+                       (list 'grob-property-path (car args))
+                       (list 'grob-property-path args)))
+                  (else (ly:error (_ "Invalid property operation ~a") music-type))))
+         (m (ly:set-origin! (apply make-music music-type
+                                   'symbol symbol
+                                   props))))
+    (ly:set-origin! (make-music 'ContextSpeccedMusic
+                                'element m
+                                'context-type ctx))))
+
+(define (get-first-context-id! mus)
+  "Find the name of a ContextSpeccedMusic, possibly naming it"
   (let ((id (ly:music-property mus 'context-id)))
-    (if (and (eq? (ly:music-property mus 'type) 'ContextSpeccedMusic)
-	     (eq? (ly:music-property mus 'context-type) type)
-	     (string? id)
-	     (not (string-null? id)))
-	id
-	'())))
-
-(define unique-counter -1)
-(define (get-next-unique-voice-name)
-  (set! unique-counter (1+ unique-counter))
-  (call-with-output-string (lambda (p) (format p "uniqueContext~s" unique-counter))))
-
-(define (lyric-combine-music sync music loc)
+    (if (eq? (ly:music-property mus 'name) 'ContextSpeccedMusic)
+        (if (and (string? id)
+                 (not (string-null? id)))
+            id
+            ;; We may reliably give a new context a unique name, but
+            ;; not an existing one
+            (if (ly:music-property mus 'create-new #f)
+                (let ((id (get-next-unique-voice-name)))
+                  (set! (ly:music-property mus 'context-id) id)
+                  id)
+                '()))
+        '())))
+
+(define-public (lyric-event text duration)
+  (ly:set-origin! (make-lyric-event text duration)))
+
+(define-public (lyric-combine sync sync-type music)
   ;; CompletizeExtenderEvent is added following the last lyric in MUSIC
   ;; to signal to the Extender_engraver that any pending extender should
   ;; be completed if the lyrics end before the associated voice.
   (append! (ly:music-property music 'elements)
-	   (list (make-music 'CompletizeExtenderEvent)))
-  (make-music 'LyricCombineMusic
-	      'element music
-	      'associated-context sync
-	      'origin loc))
-
-(define-ly-syntax (lyric-combine parser location voice music)
-  (lyric-combine-music voice music location))
-
-(define-ly-syntax (add-lyrics parser location music addlyrics-list)
-  (let* ((existing-voice-name (get-first-context-id 'Voice music))
-	 (voice-name (if (string? existing-voice-name)
-			 existing-voice-name
-			 (get-next-unique-voice-name)))
-	 (voice (if (string? existing-voice-name)
-		    (music)
-		    (make-music 'ContextSpeccedMusic
-				'element music
-				'context-type 'Voice
-				'context-id voice-name
-				'origin (ly:music-property music 'origin))))
-	 (lyricstos (map (lambda (mus)
-			   (let* ((loc (ly:music-property mus 'origin))
-				  (lyr (lyric-combine-music voice-name mus loc)))
-			     (make-music 'ContextSpeccedMusic
-					 'create-new #t
-					 'context-type 'Lyrics
-					 'element lyr
-					 'origin loc)))
-			 addlyrics-list)))
+           (list (make-music 'CompletizeExtenderEvent)))
+  (ly:set-origin!
+   (make-music 'LyricCombineMusic
+               'element music
+               'associated-context sync
+               'associated-context-type sync-type)))
+
+(define-public (add-lyrics music addlyrics-list)
+  (let* ((existing-voice-name (get-first-context-id! music))
+         (voice-name (if (string? existing-voice-name)
+                         existing-voice-name
+                         (get-next-unique-voice-name)))
+         (voice (if (string? existing-voice-name)
+                    music
+                    (make-music 'ContextSpeccedMusic
+                                'element music
+                                'context-type 'Voice
+                                'context-id voice-name
+                                'origin (ly:music-property music 'origin))))
+         (voice-type (ly:music-property voice 'context-type))
+         (lyricstos (map
+                     (lambda (mus)
+                       (with-location
+                        (ly:music-property mus 'origin)
+                        (ly:set-origin! (make-music 'ContextSpeccedMusic
+                                                    'create-new #t
+                                                    'context-type 'Lyrics
+                                                    'element
+                                                    (lyric-combine
+                                                     voice-name voice-type mus)))))
+                     addlyrics-list)))
     (make-simultaneous-music (cons voice lyricstos))))
-
-(define-ly-syntax (make-mark-set parser location label)
-  "Make the music for the \\mark command."
-  (let* ((set (and (integer? label)
-		   (context-spec-music (make-property-set 'rehearsalMark label)
-				      'Score)))
-	 (ev (make-music 'MarkEvent))
-	 (ch (make-event-chord (list ev))))
-
-    (set! (ly:music-property ev 'origin) location)
-    (if set
-	(make-sequential-music (list set ch))
-	(begin
-	  (set! (ly:music-property ev 'label) label)
-	  ch))))
-
-(define-ly-syntax (partial parser location dur)
-  "Make a partial measure."
-
-  ;; We use `descend-to-context' here instead of `context-spec-music' to
-  ;; ensure \partial still works if the Timing_translator is moved
-    (descend-to-context
-     (context-spec-music (make-music 'PartialSet
-				     'origin location
-				     'partial-duration dur)
-			 'Timing)
-     'Score))