[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: predicate pitch-or-music? - getting rid of ##{ #} ?
From: |
Janek Warchoł |
Subject: |
Re: predicate pitch-or-music? - getting rid of ##{ #} ? |
Date: |
Sun, 21 Oct 2012 17:55:50 +0200 |
On Fri, Oct 19, 2012 at 10:36 PM, Thomas Morley
<address@hidden> wrote:
> 2012/10/19 David Kastrup <address@hidden>:
>> Thomas Morley <address@hidden> writes:
>>> Calling the function for a single pitch doesn't work, if ##{ #} are
>>> omitted, but it'll work if the predicate would be ly:pitch?
>>> I don't understand this behaviour.
>>
>> Welcome to the club. In 2.14, _all_ predicates were special-cased, and
>> people did not understand it. Pitches and durations are hardest to
>> normalize. I am on it, but then frequent other projects got in between.
>>
>> I have the xxx.xxx.xxx project pending (and it will be quite a bit
>> of work to document as well), waiting for the 2.16.1 release (also my
>> responsibility) in order to get the translation branches switched over
>> from 2.16 to 2.17. Then I can get back to the pitch and duration
>> problem. Several weeks.
>
> Let me take the opportunity to express my deepest gratefulness for all
> your work, not only for developing LilyPond, but for all the time you
> spend on the user-list, answering/solving all kind of
> questions/problems.
+1
- predicate pitch-or-music? - getting rid of ##{ #} ?, Thomas Morley, 2012/10/19
- Re: predicate pitch-or-music? - getting rid of ##{ #} ?, David Kastrup, 2012/10/19
- Re: predicate pitch-or-music? - getting rid of ##{ #} ?, Thomas Morley, 2012/10/19
- Re: predicate pitch-or-music? - getting rid of ##{ #} ?,
Janek Warchoł <=
- Re: predicate pitch-or-music? - getting rid of ##{ #} ?, David Kastrup, 2012/10/23
- Re: predicate pitch-or-music? - getting rid of ##{ #} ?, Janek Warchoł, 2012/10/24
- Re: predicate pitch-or-music? - getting rid of ##{ #} ?, David Kastrup, 2012/10/24
- Re: predicate pitch-or-music? - getting rid of ##{ #} ?, Janek Warchoł, 2012/10/24
- Re: predicate pitch-or-music? - getting rid of ##{ #} ?, Thomas Morley, 2012/10/24
- Re: predicate pitch-or-music? - getting rid of ##{ #} ?, Werner LEMBERG, 2012/10/24