repo.or.cz
/
cabal.git
/
blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
blame
|
history
|
raw
|
HEAD
Merge pull request #10530 from 9999years/no-hide-successes
[cabal.git]
/
cabal-testsuite
/
PackageTests
/
Check
/
ConfiguredPackage
/
Fields
/
DeprecatedExtension
/
cabal.out
blob
4b84de207fe58c0e5fc91b5efaa79dfc39942af0
1
# cabal check
2
These warnings will likely cause trouble when distributing the package:
3
Warning: [deprecated-extensions] Deprecated extensions: 'RecordPuns'. Instead of 'RecordPuns' use 'NamedFieldPuns'.