search

UlfNorell / agda-test

Agda test
0 stars 0 forks source link

Compilation error "Pattern match(es) are non-exhaustive" #962

Closed UlfNorell closed 10 years ago

UlfNorell commented 10 years ago

From guillaum...@gmail.com on November 14, 2013 12:28:46

I’m getting the following error when trying to compile the latest darcs version of Agda:

[…] [227 of 258] Compiling Agda.TypeChecking.Rules.LHS.Split ( src/full/Agda/TypeChecking/Rules/LHS/Split.hs, dist/build/Agda/TypeChecking/Rules/LHS/Split.o )

src/full/Agda/TypeChecking/Rules/LHS/Split.hs:116:11: Warning: Pattern match(es) are non-exhaustive In a lambda abstraction: Patterns not matched: Projection Nothing _

src/full/Agda/TypeChecking/Rules/LHS/Split.hs:125:15: Warning: Pattern match(es) are non-exhaustive In a lambda abstraction: Patterns not matched: (, , Axiom) (, , Function ) (, , Datatype ) (, , Constructor _) ...

: Failing due to -Werror. cabal: Error: some packages failed to install: Agda-2.3.3 failed during the building phase. The exception was: ExitFailure 1 _Original issue: http://code.google.com/p/agda/issues/detail?id=962_
UlfNorell commented 10 years ago

From ulf.nor...@gmail.com on November 14, 2013 04:24:07

Fixed, I believe. Unfortunately my ghc-7.0.4 installation segfaults halfway through compiling Agda so I can't actually verify.

Status: Fixed

UlfNorell commented 10 years ago

From guillaum...@gmail.com on November 14, 2013 04:59:19

Thanks, it works now.

UlfNorell commented 10 years ago

From andres.s...@gmail.com on November 14, 2013 15:26:07

FWIW, it seems the GHC 7.0.4 -fwarn-incomplete-patterns flag was split in the -fwarn-incomplete-patterns and -fwarn-incomplete-uni-patterns flags in GHC >= 7.2. The last flag yields the two warnings reported in this issue and 76 additional ones.

Labels: Type-Defect

UlfNorell commented 10 years ago

From andreas....@gmail.com on November 14, 2013 17:02:31

Labels: BuildFailure