SCC "ab cd"

Serge D. Mechveliani mechvel at botik.ru
Thu May 29 13:33:15 EDT 2008


On Thu, May 29, 2008 at 09:07:32AM -0400, Isaac Dupree wrote:
> Serge D. Mechveliani wrote:
> >Dear GHC developers,
> >
> >ghc-6.8.2  compiles  {-# SCC "ab cd" #-}   as all right.
> >
> >And the GHC  candidate of May 27, 2008  reports the error:
> >
> >    "spaces are not allowed in SCC". 
> >
> >Do you think that this latter has more sense?
> >Is not this a matter of the programmer to give string names to SCC 
> >points?
> 
> see http://hackage.haskell.org/trac/ghc/ticket/2071 .  Agree or 
> disagree.  "it probably never worked" -- Did you ever get any useful 
> profiling information when you had spaces in your SCC?  Or did it just 
> not work anyway (in which case a sooner error message is probably better)

Why, in ghc-6.8.2, it works in my Dumatel program:

  let
    ... 
    (pairsPassed, pairsRest) =
            {-# SCC "(pairsPassed, pairsRest)" #-}
            span (not . isFalseTerm . fst)
                 [(dj', c) |
                  sb <- testingSubsts,
                  let (_, dj', _reduction, c) =
                           reduceDisjunct emptyUMRMemo jump calcExt [] $
                           substitute sb dj]
    ...
  in  ...

The SCC point is named so that it is easy to recall where in the source 
this point is set. Here it is better that denoting, say "103".
Am I missing something?

-----------------
Serge Mechveliani
mechvel at botik.ru


More information about the Glasgow-haskell-users mailing list