make error: src/Dyna/ParserHS/OneshotDriver.hs:111:48

[skylogic004]

I am getting the following error upon running 'make'

[20 of 37] Compiling Dyna.ParserHS.OneshotDriver ( src/Dyna/ParserHS/OneshotDriver.hs, dist/build/dyna/dyna-tmp/Dyna/ParserHS/OneshotDriver.o )

src/Dyna/ParserHS/OneshotDriver.hs:111:48:
    No instance for (Show PCS)
      arising from the 'deriving' clause of a data type declaration
    Possible fix:
      add an instance declaration for (Show PCS)
      or use a standalone 'deriving instance' declaration,
           so you can specify the instance context yourself
    When deriving the instance for (DeltaParsing (PCM im))
make: *** [build] Error 1

Is there something I can do to fix this or is this a problem with dyna?
Unfortunately I'm not familiar with Haskell so I don't know what things to try - any suggestions welcome

[nwf]

That's... strange. Can I ask what version of GHC you're using and the output of ghc-pkg list? There shouldn't need to be a (Show PCS) instance for anything here...

[skylogic004]

Version:
The Glorious Glasgow Haskell Compilation System, version 7.6.3

Output of ghc-pkg list is:

/var/lib/ghc/package.conf.d:
    Cabal-1.16.0
    GLURaw-1.3.0.0
    GLUT-2.4.0.0
    HTTP-4000.2.8
    HUnit-1.2.5.2
    MonadCatchIO-mtl-0.3.0.5
    OpenGL-2.8.0.0
    OpenGLRaw-1.3.0.0
    QuickCheck-2.6
    array-0.4.0.1
    async-2.0.1.4
    attoparsec-0.10.4.0
    base-4.6.0.1
    bin-package-db-0.0.0.0
    binary-0.5.1.1
    bytestring-0.10.0.2
    case-insensitive-1.1.0.2
    cgi-3001.1.8.3
    containers-0.5.0.0
    deepseq-1.3.0.1
    directory-1.2.0.1
    extensible-exceptions-0.1.1.4
    fgl-5.4.2.4
    filepath-1.3.0.1
    (ghc-7.6.3)
    ghc-prim-0.3.0.0
    hashable-1.2.1.0
    haskell-src-1.0.1.5
    (haskell2010-1.1.1.0)
    (haskell98-2.0.0.2)
    hoopl-3.9.0.0
    hpc-0.6.0.0
    html-1.0.1.2
    integer-gmp-0.5.0.0
    mtl-2.1.2
    network-2.4.1.2
    old-locale-1.0.0.5
    old-time-1.1.0.1
    parallel-3.2.0.3
    parsec-3.1.3
    pretty-1.1.1.0
    primitive-0.5.0.1
    process-1.1.0.2
    random-1.0.1.1
    regex-base-0.93.2
    regex-compat-0.95.1
    regex-posix-0.95.2
    rts-1.0
    split-0.2.2
    stm-2.4.2
    syb-0.4.0
    template-haskell-2.8.0.0
    text-0.11.3.1
    time-1.4.0.1
    transformers-0.3.0.0
    unix-2.6.0.1
    unordered-containers-0.2.3.0
    vector-0.10.0.1
    xhtml-3000.2.1
    zlib-0.5.4.1

/home/matthew/.ghc/x86_64-linux-7.6.3/package.conf.d:
    MonadRandom-0.1.13
    MonadRandom-0.3.0.1
    StateVar-1.1.0.0
    adjunctions-4.2
    ansi-terminal-0.6.2.1
    ansi-wl-pprint-0.6.7.1
    attoparsec-0.11.3.3
    {attoparsec-0.11.3.4}
    attoparsec-0.12.1.3
    bifunctors-4.2
    bifunctors-4.2.1
    blaze-builder-0.3.3.3
    blaze-builder-0.3.3.4
    blaze-html-0.7.0.2
    blaze-html-0.7.0.3
    {blaze-html-0.7.1.0}
    blaze-markup-0.6.1.1
    blaze-markup-0.6.2.0
    {blaze-markup-0.6.3.0}
    charset-0.3.6
    charset-0.3.7
    comonad-4.2.2
    comonad-4.2.3
    contravariant-1.2.2.1
    contravariant-1.3
    cpphs-1.18.9
    data-default-class-0.0.1
    distributive-0.4.4
    either-4.1.2
    {either-4.3.3.2}
    exceptions-0.8.0.1
    fingertree-0.1.0.1
    foreign-var-0.1
    free-4.10.0.1
    free-4.11
    hashable-1.2.3.1
    haskell-src-exts-1.16.0.1
    hostname-1.0
    kan-extensions-4.2.1
    keys-3.10
    keys-3.10.1
    language-haskell-extract-0.2.4
    lens-4.7
    lens-4.8
    logict-0.6.0.2
    monad-control-0.3.3.1
    monad-control-1.0.0.4
    nats-0.2
    nats-1
    parsec-3.1.8
    parsers-0.11.0.1
    {parsers-0.11.0.2}
    parsers-0.12.1.1
    pointed-4.1.1
    pointed-4.2
    polyparse-1.11
    prelude-extras-0.4
    profunctors-4.4
    profunctors-4.4.1
    recursion-schemes-4.0
    {recursion-schemes-4.1}
    reducers-3.10.3
    reducers-3.10.3.1
    reflection-1.5.1.2
    scientific-0.3.3.6
    scientific-0.3.3.7
    semigroupoids-4.2
    semigroupoids-4.3
    semigroups-0.16.2.1
    semigroups-0.16.2.2
    smallcheck-1.1.1
    tagged-0.7.3
    temporary-1.2.0.3
    terminfo-0.4.0.0
    test-framework-0.8.1.1
    test-framework-golden-1.1.3.1
    test-framework-hunit-0.3.0.1
    test-framework-program-1.1
    test-framework-quickcheck2-0.3.0.3
    test-framework-th-0.2.4
    text-1.2.0.4
    transformers-base-0.4.4
    transformers-compat-0.4.0.3
    trifecta-1.4.3
    trifecta-1.5
    {trifecta-1.5.1.3}
    unordered-containers-0.2.5.1
    utf8-string-0.3.8
    void-0.6.1
    void-0.7
    wl-pprint-extras-3.5.0.3
    {wl-pprint-extras-3.5.0.4}
    wl-pprint-terminfo-3.7.1.2
    {wl-pprint-terminfo-3.7.1.3}
    xml-1.3.14

I'm going to try clearing all the packages, pulling the latest dyna, and starting over (in a clone of this virtual machine in case I need to go back).

[skylogic004]

It looks like trifecta may be the problem. It seems dyna requires trifecta 1.5, but for the life of me I cannot get 1.5 to install - only 1.5.1.3.

Output from make:

...
cabal install --user --enable-tests --only-dependencies .
Resolving dependencies...
In order, the following would be installed:
blaze-builder-0.3.3.4 (reinstall) changes: text-1.2.0.4 -> 0.11.3.1
blaze-markup-0.6.3.0 (reinstall) changes: text-1.2.0.4 -> 0.11.3.1
blaze-html-0.7.1.0 (reinstall) changes: text-1.2.0.4 -> 0.11.3.1
nats-1 (reinstall) changes: hashable-1.2.3.1 -> 1.2.1.0
scientific-0.3.3.7 (reinstall) changes: hashable-1.2.3.1 -> 1.2.1.0,
text-1.2.0.4 -> 0.11.3.1
attoparsec-0.11.3.4 (new version)
semigroups-0.16.2.2 (reinstall) changes: hashable-1.2.3.1 -> 1.2.1.0,
text-1.2.0.4 -> 0.11.3.1, unordered-containers-0.2.5.1 -> 0.2.3.0
charset-0.3.7 (reinstall) changes: unordered-containers-0.2.5.1 -> 0.2.3.0
parsers-0.11.0.2 (new version)
void-0.7 (reinstall) changes: hashable-1.2.3.1 -> 1.2.1.0
contravariant-1.3 (reinstall)
comonad-4.2.4 (reinstall)
semigroupoids-4.3 (reinstall)
bifunctors-4.2.1 (reinstall)
profunctors-4.4.1 (reinstall)
free-4.11 (reinstall)
adjunctions-4.2 (reinstall)
either-4.3.3.2 (new package)
kan-extensions-4.2.1 (reinstall)
keys-3.10.1 (reinstall)
lens-4.8 (reinstall) changes: hashable-1.2.3.1 -> 1.2.1.0, text-1.2.0.4 ->
0.11.3.1, unordered-containers-0.2.5.1 -> 0.2.3.0
pointed-4.2 (reinstall)
recursion-schemes-4.1 (new package)
reducers-3.10.3.1 (reinstall) changes: hashable-1.2.3.1 -> 1.2.1.0,
text-1.2.0.4 -> 0.11.3.1, unordered-containers-0.2.5.1 -> 0.2.3.0
trifecta-1.5 (new version)
wl-pprint-extras-3.5.0.4 (new package)
wl-pprint-terminfo-3.7.1.3 (new package)

cabal: The following packages are likely to be broken by the reinstalls:
trifecta-1.5.1.3
parsers-0.12.1.1
attoparsec-0.12.1.3
Use --force-reinstalls if you want to install anyway.
make: *** [deps] Error 1

I tried commenting out "cabal install --user --enable-tests --only-dependencies ." in the Makefile to ignore the incorrect versions (since the versions I have are newer than the required ones, I thought maybe I could get away with it...), but then I get:

...
Configuring dyna-0.4...
cabal build
Building dyna-0.4...
Preprocessing executable 'dyna' for dyna-0.4...

src/Dyna/Analysis/Mode/Execution/Functions.hs:13:14:
    Unsupported extension: AllowAmbiguousTypes
make: *** [build] Error 1