wiki:TracQuery

Version 3 (modified by trac, 6 years ago) (diff)

--

Trac Ticket Queries

In addition to reports, Trac provides support for custom ticket queries, used to display lists of tickets meeting a specified set of criteria.

To configure and execute a custom query, switch to the View Tickets module from the navigation bar, and select the Custom Query link.

Filters

When you first go to the query page the default filters will display all open tickets, or if you're logged in it will display open tickets assigned to you. Current filters can be removed by clicking the button to the right with the minus sign on the label. New filters are added from the pulldown list in the bottom-right corner of the filters box. Filters with either a text box or a pulldown menu of options can be added multiple times to perform an or of the criteria.

You can use the fields just below the filters box to group the results based on a field, or display the full description for each ticket.

Once you've edited your filters click the Update button to refresh your results.

Clicking on one of the query results will take you to that ticket. You can navigate through the results by clicking the Next Ticket or Previous Ticket links just below the main menu bar, or click the Back to Query link to return to the query page.

You can safely edit any of the tickets and continue to navigate through the results using the Next/Previous/Back to Query links after saving your results. When you return to the query any tickets which were edited will be displayed with italicized text. If one of the tickets was edited such that it no longer matches the query criteria the text will also be greyed. Lastly, if a new ticket matching the query criteria has been created, it will be shown in bold.

The query results can be refreshed and cleared of these status indicators by clicking the Update button again.

Saving Queries

While Trac does not yet allow saving a named query and somehow making it available in a navigable list, you can save references to queries in Wiki content, as described below.

You may want to save some queries so that you can come back to them later. You can do this by making a link to the query from any Wiki page.

[query:status=new|assigned|reopened&version=1.0 Active tickets against 1.0]

Which is displayed as:

Active tickets against 1.0

This uses a very simple query language to specify the criteria (see Query Language).

Alternatively, you can copy the query string of a query and paste that into the Wiki link, including the leading ? character:

[query:?status=new&status=assigned&status=reopened&group=owner Assigned tickets by owner]

Which is displayed as:

Assigned tickets by owner

Using the [[TicketQuery]] Macro

The TicketQuery macro lets you display lists of tickets matching certain criteria anywhere you can use WikiFormatting.

Example:

[[TicketQuery(version=0.6|0.7&resolution=duplicate)]]

This is displayed as:

No results

Just like the query: wiki links, the parameter of this macro expects a query string formatted according to the rules of the simple ticket query language.

A more compact representation without the ticket summaries is also available:

[[TicketQuery(version=0.6|0.7&resolution=duplicate, compact)]]

This is displayed as:

No results

Finally if you wish to receive only the number of defects that match the query using the count parameter.

[[TicketQuery(version=0.6|0.7&resolution=duplicate, count)]]

This is displayed as:

0

Customizing the table format

You can also customize the columns displayed in the table format (format=table) by using col=<field> - you can specify multiple fields and what order they are displayed by placing pipes (|) between the columns like below:

[[TicketQuery(max=3,status=closed,order=id,desc=1,format=table,col=resolution|summary|owner|reporter)]]

This is displayed as:

Full rows

In table format you can also have full rows by using rows=<field> like below:

[[TicketQuery(max=3,status=closed,order=id,desc=1,format=table,col=resolution|summary|owner|reporter,rows=description)]]

This is displayed as:

Results (1 - 3 of 8043)

1 2 3 4 5 6 7 8 9 10 11
Ticket Resolution Summary Owner Reporter
#10813 invalid No symlinks after install. NormH
Description

After having run the installer represented by file: Haskell Platform 7.10.2-a 64bit-signed.pkg (which I found here: https://www.haskell.org/platform) ("openssl md5 Has*" yields 436e5370acfefbfe4cf7e3bc0a2fc56b) The Installer says "The installation was successful". I am looking at the page: file:///Library/Haskell/doc/start.html That page says:

Executables are symlinked in /usr/bin and should be available in any shell.

I can find no new symlinks there. Perhaps I am merely don't know what to look for. The documentation does not tell me what to expect that I can see.

The shell command "ls -ltr /usr/bin" shows nothing newer than July; this is late August. Command "ls /usr/bin/gh* /usr/bin/has*" yields only "hash". "ls /Library/Frameworks/GHC.framework" and "/Library/Haskell" are populated.

I am running OS X 10.11 (beta).

#10805 fixed Could not deduce (a ~ b) implies (f a ~ f b), because a type function may not be injective htebalaka
Description

I don't know if the summary I provided is what's really going on here, but I'm a little baffled why this doesn't typecheck. I can't see what injectivity has to do with it, since we're not trying to deduce that the arguments are the same from the result of an application being the same; rather we're doing the opposite. I've encountered plenty of obvious arithmetic laws that I've needed to unsafeCoerceConstraint away with doing type level arithmetic, but this seems like it should be trivial regardless.

{-# LANGUAGE GADTs, ExplicitNamespaces, TypeOperators, DataKinds #-}
{-# LANGUAGE ConstraintKinds, KindSignatures, PatternGuards #-}

import Data.Type.Equality ((:~:)(..))
import GHC.TypeLits (Nat, type (<=), type (-), type (+), type (<=?))

data SNat :: Nat -> * where
    SSucc   :: SNat a -> SNat (a + 1)
    SZero   :: SNat 0

heqHet :: SNat a -> SNat b -> Maybe (a :~: b)
heqHet SZero SZero = Just Refl
heqHet (SSucc a) (SSucc b)
    | Just Refl <- heqHet a b = Just Refl
heqHet _ _ = Nothing

data Slice :: Nat -> Nat -> * where
    Slice   :: ((start + 1) <= end, end <= numElements)
            => SNat numElements -> SNat start -> SNat end
            -> Slice numElements (end - start)

heqHet' :: Slice a b -> Slice a b' -> Bool
heqHet' (Slice _ start end) (Slice _ start' end')
    | Just _ <- heqHet start start'
    , Just _ <- heqHet end end' = True
    | otherwise = False
Slice.hs:24:10:
    Could not deduce (((start + 1) <=? a) ~ ((start + 1) <=? a))
    from the context (b ~ (end - start), (start + 1) <= end, end <= a)
      bound by a pattern with constructor
                 Slice :: forall (numElements :: Nat) (start :: Nat) (end :: Nat).
                          ((start + 1) <= end, end <= numElements) =>
                          SNat numElements
                          -> SNat start -> SNat end -> Slice numElements (end - start),
               in an equation for heqHet'
      at Slice.hs:24:10-26
    or from (b' ~ (end1 - start1), (start1 + 1) <= end1, end1 <= a)
      bound by a pattern with constructor
                 Slice :: forall (numElements :: Nat) (start :: Nat) (end :: Nat).
                          ((start + 1) <= end, end <= numElements) =>
                          SNat numElements
                          -> SNat start -> SNat end -> Slice numElements (end - start),
               in an equation for heqHet'
      at Slice.hs:24:30-48
    NB: GHC.TypeLits.<=? is a type function, and may not be injective
    Relevant bindings include
      heqHet' :: Slice a b -> Slice a b' -> Bool (bound at Slice.hs:24:1)
    In the pattern: Slice _ start end
    In an equation for heqHet':
        heqHet' (Slice _ start end) (Slice _ start' end')
          | Just _ <- heqHet start start', Just _ <- heqHet end end' = True
          | otherwise = False
Failed, modules loaded: none.
#10802 invalid remote-debugger crashes with IntelliJ Haskell plugin in Mac OS X smcho
Description

I used cabal install remote-debugger to use debugger in IntelliJ on Mac OS X. when I tried to debug a program in IntelliJ, I have

"Debug execution error: Internel error occurred while executing debug process for ..." error

In command line, I got this error with remote-debugger.

~> remote-debugger 
remote-debugger: panic! (the 'impossible' happened)
  (GHC version 7.10.2 for x86_64-apple-darwin):
	Main module not specified

Please report this as a GHC bug:  http://www.haskell.org/ghc/reportabug
1 2 3 4 5 6 7 8 9 10 11

Query Language

query: TracLinks and the [[TicketQuery]] macro both use a mini “query language” for specifying query filters. Basically, the filters are separated by ampersands (&). Each filter then consists of the ticket field name, an operator, and one or more values. More than one value are separated by a pipe (|), meaning that the filter matches any of the values.

The available operators are:

= the field content exactly matches the one of the values
~= the field content contains one or more of the values
^= the field content starts with one of the values
$= the field content ends with one of the values

All of these operators can also be negated:

!= the field content matches none of the values
!~= the field content does not contain any of the values
!^= the field content does not start with any of the values
!$= the field content does not end with any of the values

See also: TracTickets, TracReports, TracGuide