Resolving dependencies...
Downloading greencard-3.0.1...
Configuring greencard-3.0.1...
Building greencard-3.0.1...
Preprocessing executable 'greencard' for greencard-3.0.1...
unused terminals: 1
[ 1 of 21] Compiling ErrMonad         ( src/ErrMonad.lhs, dist/build/greencard/greencard-tmp/ErrMonad.o )

src/ErrMonad.lhs:42:10: Warning:
    ‘ErrM’ is an instance of Monad but not Applicative - this will become an error in GHC 7.10, under the Applicative-Monad Proposal.
[ 2 of 21] Compiling PrettyUtils      ( src/PrettyUtils.lhs, dist/build/greencard/greencard-tmp/PrettyUtils.o )
[ 3 of 21] Compiling Name             ( src/Name.lhs, dist/build/greencard/greencard-tmp/Name.o )
[ 4 of 21] Compiling Type             ( src/Type.lhs, dist/build/greencard/greencard-tmp/Type.o )
[ 5 of 21] Compiling NameSupply       ( src/NameSupply.lhs, dist/build/greencard/greencard-tmp/NameSupply.o )

src/NameSupply.lhs:39:10: Warning:
    ‘NSM’ is an instance of Monad but not Applicative - this will become an error in GHC 7.10, under the Applicative-Monad Proposal.
[ 6 of 21] Compiling ListUtils        ( src/ListUtils.lhs, dist/build/greencard/greencard-tmp/ListUtils.o )
[ 7 of 21] Compiling Target           ( src/Target.lhs, dist/build/greencard/greencard-tmp/Target.o )
[ 8 of 21] Compiling Casm             ( src/Casm.lhs, dist/build/greencard/greencard-tmp/Casm.o )

src/Casm.lhs:457:12: Warning: Defined but not used: ‘tgt’

src/Casm.lhs:544:2: Warning:
    Pattern match(es) are overlapped
    In a case alternative: _ -> ...

src/Casm.lhs:577:2: Warning:
    Pattern match(es) are overlapped
    In a case alternative: _ -> ...

src/Casm.lhs:616:5: Warning:
    Pattern match(es) are overlapped
    In a case alternative: _ -> ...

src/Casm.lhs:631:6: Warning:
    Pattern match(es) are overlapped
    In a case alternative: _ -> ...
[ 9 of 21] Compiling DIS              ( src/DIS.lhs, dist/build/greencard/greencard-tmp/DIS.o )
[10 of 21] Compiling Decl             ( src/Decl.lhs, dist/build/greencard/greencard-tmp/Decl.o )
[11 of 21] Compiling LexM             ( src/LexM.lhs, dist/build/greencard/greencard-tmp/LexM.o )

src/LexM.lhs:74:19: Not in scope: ‘catch’
Failed to install greencard-3.0.1
cabal: Error: some packages failed to install:
greencard-3.0.1 failed during the building phase. The exception was:
ExitFailure 1