[Pkg-haskell-commits] [agda] 03/04: Merge tag 'upstream/2.4.2'
Iain Lane
laney at moszumanska.debian.org
Tue Sep 23 09:03:09 UTC 2014
This is an automated email from the git hooks/post-receive script.
laney pushed a commit to branch master
in repository agda.
commit c5eaf433fa651930e217f0216c10caacb27ad14a
Merge: 3d550e3 6770868
Author: Iain Lane <laney at debian.org>
Date: Tue Sep 23 09:54:09 2014 +0100
Merge tag 'upstream/2.4.2'
Upstream version 2.4.2
Agda.cabal | 30 +-
CHANGELOG | 354 ++-
README | 319 --
README.md | 210 ++
dist/build/Agda/Syntax/Parser/Lexer.hs | 185 +-
dist/build/Agda/Syntax/Parser/Parser.hs | 3360 +++++++++++---------
src/data/agda.sty | 45 +-
src/data/emacs-mode/agda2-mode.el | 25 +-
src/data/postprocess-latex.pl | 24 +
src/full/Agda/Auto/Convert.hs | 6 +-
src/full/Agda/Auto/NarrowingSearch.hs | 2 +-
src/full/Agda/Compiler/Epic/FromAgda.hs | 1 +
src/full/Agda/Compiler/Epic/Static.hs | 1 +
src/full/Agda/Compiler/HaskellTypes.hs | 1 +
src/full/Agda/Compiler/JS/Compiler.hs | 3 +-
src/full/Agda/Compiler/JS/Syntax.hs | 3 +-
src/full/Agda/Compiler/MAlonzo/Compiler.hs | 36 +-
src/full/Agda/Compiler/MAlonzo/Misc.hs | 5 +-
src/full/Agda/Compiler/MAlonzo/Primitives.hs | 1 +
src/full/Agda/Interaction/BasicOps.hs | 25 +-
src/full/Agda/Interaction/EmacsTop.hs | 2 +
src/full/Agda/Interaction/Highlighting/Generate.hs | 1 +
src/full/Agda/Interaction/Imports.hs | 24 +-
src/full/Agda/Interaction/InteractionTop.hs | 43 +-
src/full/Agda/Interaction/Options.hs | 6 +
src/full/Agda/Interaction/Response.hs | 1 +
src/full/Agda/Main.hs | 24 +-
src/full/Agda/Syntax/Abstract.hs | 15 +-
src/full/Agda/Syntax/Common.hs | 25 +
src/full/Agda/Syntax/Concrete.hs | 38 +-
src/full/Agda/Syntax/Concrete/Definitions.hs | 207 +-
src/full/Agda/Syntax/Concrete/Generic.hs | 3 +
src/full/Agda/Syntax/Concrete/Operators.hs | 97 +-
src/full/Agda/Syntax/Concrete/Operators/Parser.hs | 25 +-
src/full/Agda/Syntax/Concrete/Pretty.hs | 36 +-
src/full/Agda/Syntax/Info.hs | 15 +-
src/full/Agda/Syntax/Internal.hs | 105 +
src/full/Agda/Syntax/Internal/Defs.hs | 6 +-
src/full/Agda/Syntax/Internal/Generic.hs | 8 +-
src/full/Agda/Syntax/Literal.hs | 22 +
src/full/Agda/Syntax/Parser/Lexer.x | 6 +
src/full/Agda/Syntax/Parser/Parser.y | 94 +-
src/full/Agda/Syntax/Parser/Tokens.hs | 11 +-
src/full/Agda/Syntax/Position.hs | 7 +-
src/full/Agda/Syntax/Scope/Base.hs | 21 +-
src/full/Agda/Syntax/Scope/Monad.hs | 173 +-
.../Agda/Syntax/Translation/AbstractToConcrete.hs | 23 +-
.../Agda/Syntax/Translation/ConcreteToAbstract.hs | 89 +-
.../Agda/Syntax/Translation/InternalToAbstract.hs | 49 +-
src/full/Agda/Termination/CallGraph.hs | 3 -
src/full/Agda/Termination/Inlining.hs | 1 -
src/full/Agda/Termination/Monad.hs | 27 +-
src/full/Agda/Termination/TermCheck.hs | 86 +-
src/full/Agda/TypeChecking/Abstract.hs | 6 +-
src/full/Agda/TypeChecking/CheckInternal.hs | 2 +-
.../Agda/TypeChecking/CompiledClause/Compile.hs | 89 +-
src/full/Agda/TypeChecking/CompiledClause/Match.hs | 1 -
src/full/Agda/TypeChecking/Conversion.hs | 9 +-
src/full/Agda/TypeChecking/Datatypes.hs | 1 +
src/full/Agda/TypeChecking/DropArgs.hs | 1 -
src/full/Agda/TypeChecking/Errors.hs | 40 +-
src/full/Agda/TypeChecking/EtaContract.hs | 1 +
src/full/Agda/TypeChecking/Free.hs | 9 +-
src/full/Agda/TypeChecking/Implicit.hs | 5 +-
src/full/Agda/TypeChecking/Injectivity.hs | 12 +-
src/full/Agda/TypeChecking/InstanceArguments.hs | 194 +-
src/full/Agda/TypeChecking/Level.hs | 20 +-
src/full/Agda/TypeChecking/MetaVars.hs | 176 +-
src/full/Agda/TypeChecking/MetaVars.hs-boot | 7 +-
src/full/Agda/TypeChecking/MetaVars/Mention.hs | 5 +-
src/full/Agda/TypeChecking/MetaVars/Occurs.hs | 21 +-
src/full/Agda/TypeChecking/Monad/Base.hs | 89 +-
src/full/Agda/TypeChecking/Monad/Base/KillRange.hs | 8 +-
src/full/Agda/TypeChecking/Monad/Benchmark.hs | 10 +-
src/full/Agda/TypeChecking/Monad/Builtin.hs | 57 +-
src/full/Agda/TypeChecking/Monad/Constraints.hs | 70 +-
src/full/Agda/TypeChecking/Monad/Env.hs | 9 +
src/full/Agda/TypeChecking/Monad/Exception.hs | 5 +-
src/full/Agda/TypeChecking/Monad/Signature.hs | 257 +-
src/full/Agda/TypeChecking/Monad/SizedTypes.hs | 1 +
src/full/Agda/TypeChecking/Monad/State.hs | 115 +
src/full/Agda/TypeChecking/Monad/Trace.hs | 17 +-
src/full/Agda/TypeChecking/Patterns/Abstract.hs | 1 -
src/full/Agda/TypeChecking/Polarity.hs | 1 +
src/full/Agda/TypeChecking/Positivity.hs | 12 +
src/full/Agda/TypeChecking/Pretty.hs | 15 +-
src/full/Agda/TypeChecking/Primitive.hs | 68 +-
src/full/Agda/TypeChecking/ProjectionLike.hs | 2 +-
src/full/Agda/TypeChecking/Quote.hs | 391 ++-
src/full/Agda/TypeChecking/Records.hs | 2 +-
src/full/Agda/TypeChecking/Reduce.hs | 22 +-
src/full/Agda/TypeChecking/Reduce/Monad.hs | 1 -
src/full/Agda/TypeChecking/Rewriting.hs | 215 ++
src/full/Agda/TypeChecking/Rewriting.hs-boot | 7 +
src/full/Agda/TypeChecking/Rules/Builtin.hs | 43 +-
src/full/Agda/TypeChecking/Rules/Data.hs | 8 +-
src/full/Agda/TypeChecking/Rules/Decl.hs | 113 +-
src/full/Agda/TypeChecking/Rules/Decl.hs-boot | 4 +-
src/full/Agda/TypeChecking/Rules/Def.hs | 8 +-
src/full/Agda/TypeChecking/Rules/LHS.hs | 34 +-
.../Agda/TypeChecking/Rules/LHS/ProblemRest.hs | 1 +
src/full/Agda/TypeChecking/Rules/Record.hs | 16 +-
src/full/Agda/TypeChecking/Rules/Term.hs | 31 +-
src/full/Agda/TypeChecking/Serialise.hs | 43 +-
src/full/Agda/TypeChecking/SizedTypes/Solve.hs | 7 +-
src/full/Agda/TypeChecking/SizedTypes/Syntax.hs | 13 +-
.../Agda/TypeChecking/SizedTypes/WarshallSolver.hs | 3 -
src/full/Agda/TypeChecking/Substitute.hs | 61 +-
src/full/Agda/TypeChecking/Telescope.hs | 56 +-
src/full/Agda/TypeChecking/Test/Generators.hs | 2 +
src/full/Agda/TypeChecking/With.hs | 5 +-
src/full/Agda/Utils/Function.hs | 8 +
src/full/Agda/Utils/List.hs | 28 +
src/full/Agda/Utils/Null.hs | 28 +
src/full/Agda/Utils/String.hs | 6 +
src/full/Agda/Utils/Time.hs | 15 +
116 files changed, 5358 insertions(+), 3078 deletions(-)
--
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-haskell/agda.git
More information about the Pkg-haskell-commits
mailing list