Custom Query

Reported by AndyGill, 5 years ago.

When writing marked up html files, hpc markup does not create a directory, if needed, for packages.

  $ hpc markup --destdir=html Test  --fun-entry-count   --srcdir=. --srcdir=../../code/vector-space 
  Writing: Test.hs.html
  Writing: vector-space-0.1.4/Data.Cross.hs.html
  hpc: html/vector-space-0.1.4/Data.Cross.hs.html: openFile: does not exist (No such file or directory)

  $ mkdir html/vector-space-0.1.4

  $ hpc markup --destdir=html Test  --fun-entry-count   --srcdir=. --srcdir=../../code/vector-space 
  Writing: Test.hs.html
  Writing: vector-space-0.1.4/Data.Cross.hs.html
  Writing: vector-space-0.1.4/Data.Derivative.hs.html
  Writing: vector-space-0.1.4/Data.NumInstances.hs.html
  Writing: vector-space-0.1.4/Data.VectorSpace.hs.html
  ...

Reported by Aninhumer, 6 months ago.

Suggest that the user they may wish to add -XScopedTypeVariables, if an error results from a free type variable which would be bound in its scope with the flag enabled. (i.e. if its name exists as a variable in the type declaration).

I ran into this problem on code similar to this:

instance (Sized a n, Nat n) => Rep a where
    emptyRep = replicate (toInt (undefined :: n)) 0

and it took me some time to solve, and only by having vague knowledge that such a flag existed.

Reported by Aninhumer, 6 months ago.

Given the common use cases for Data.Bits, it seems strange that there is no instance for Bool. Previously, the Num superclass was a reason not to include one, as there are valid objections to a Num Bool instance. However, this superclass requirement has now been removed, so I think adding a Bits Bool instance would be a good idea.

I have attached a local implementation which I am using, but it may not entirely match the intended semantics of Bits.