Commit 5880d597 authored by Finn Teegen's avatar Finn Teegen
Browse files

Merge remote-tracking branch 'upstream/master'

Conflicts:
	CHANGELOG.md
	curry-frontend.cabal
	src/Checks/TypeCheck.hs
parents c0eebcc3 6a78b406
......@@ -2,12 +2,12 @@ Change log for curry-frontend
=============================
Under development (0.9.9)
===============
=========================
* Add support for typeclasses as known from Haskell.
Version (0.4.2)
=================
Version 0.4.2
=============
* Improved readability of environment information in dumps
(option dump-simple)
......
......@@ -165,5 +165,5 @@ Test-Suite test-frontend
hs-source-dirs: test
default-language: Haskell2010
test-module: TestFrontend
build-depends: base == 4.*, Cabal >= 1.20, curry-base == 0.4.2
, curry-frontend == 0.4.2, filepath
build-depends: base == 4.*, Cabal >= 1.20, curry-base == 0.4.3
, curry-frontend == 0.4.3, filepath
curry-frontend (0.4.3-0~0deb+1) UNRELEASED; urgency=medium
* Upstream-provided Debian package for curry-frontend.
See upstream CHANGELOG.md for recent changes.
-- Mike Gabriel <mga@informatik.uni-kiel.de> Sat, 14 Oct 2017 23:39:30 +0200
9
\ No newline at end of file
Source: curry-frontend
Maintainer: Debian Curry Maintainers <pkg-curry-maintainers@lists.alioth.debian.org>
Uploaders:
Mike Gabriel <sunweaver@debian.org>,
Michael Hanus <mh@informatik.uni-kiel.de>,
Priority: extra
Section: haskell
Build-Depends: debhelper (>= 9),
haskell-devscripts (>= 0.8),
cdbs,
devscripts (>= 1.16.1.1~),
ghc,
ghc-prof,
libghc-containers-dev,
libghc-containers-prof,
libghc-curry-base-dev (>= 0.4.3~),
libghc-curry-base-dev (<< 0.4.4~),
libghc-curry-base-prof (>= 0.4.3~),
libghc-curry-base-prof (<< 0.4.4~),
libghc-directory-dev,
libghc-directory-prof,
libghc-filepath-dev,
libghc-filepath-prof,
libghc-mtl-dev,
libghc-mtl-prof,
libghc-network-uri-dev (>= 2.6),
libghc-network-uri-prof (>= 2.6),
libghc-process-dev,
libghc-process-prof,
libghc-syb-dev,
libghc-syb-prof,
libghc-transformers-dev,
libghc-transformers-prof,
Build-Depends-Indep: ghc-doc,
libghc-base-doc,
libghc-containers-doc,
libghc-curry-base-doc,
libghc-directory-doc,
libghc-filepath-doc,
libghc-mtl-doc,
libghc-network-uri-doc,
libghc-process-doc,
libghc-syb-doc,
libghc-transformers-doc,
Standards-Version: 4.1.0
Homepage: http://curry-language.org
Vcs-Browser: https://anonscm.debian.org/git/pkg-curry/curry-frontend.git
Vcs-Git: https://anonscm.debian.org/git/pkg-curry/curry-frontend.git
X-Description: Lexer, parser, type checker, etc. for Curry
The Curry Frontend consists of the executable program
"curry-frontend". It is used by various backends to
compile programs written in the functional logic language
Curry to various intermediate representations.
.
For further information, please check
http://curry-language.org
Package: libghc-curry-frontend-dev
Architecture: any
Depends: ${haskell:Depends},
${misc:Depends},
${shlibs:Depends},
Recommends: ${haskell:Recommends},
Suggests: ${haskell:Suggests},
Conflicts: ${haskell:Conflicts},
Provides: ${haskell:Provides},
Description: ${haskell:ShortDescription}${haskell:ShortBlurb}
${haskell:LongDescription}
.
${haskell:Blurb}
Package: libghc-curry-frontend-prof
Architecture: any
Depends: ${haskell:Depends},
${misc:Depends},
Recommends: ${haskell:Recommends},
Suggests: ${haskell:Suggests},
Conflicts: ${haskell:Conflicts},
Provides: ${haskell:Provides},
Description: ${haskell:ShortDescription}${haskell:ShortBlurb}
${haskell:LongDescription}
.
${haskell:Blurb}
Package: libghc-curry-frontend-doc
Architecture: all
Section: doc
Depends: ${haskell:Depends},
${misc:Depends},
Recommends: ${haskell:Recommends},
Suggests: ${haskell:Suggests},
Conflicts: ${haskell:Conflicts},
Description: ${haskell:ShortDescription}${haskell:ShortBlurb}
${haskell:LongDescription}
.
${haskell:Blurb}
Package: curry-frontend
Architecture: any
Section: misc
Depends: ${haskell:Depends},
${shlibs:Depends},
${misc:Depends},
Recommends: ${haskell:Recommends},
Suggests: ${haskell:Suggests},
Conflicts: ${haskell:Conflicts},
Provides: ${haskell:Provides},
Description: ${haskell:ShortDescription}${haskell:ShortBlurb}; executable
${haskell:LongDescription}
.
${haskell:Blurb}
Format: http://www.debian.org/doc/packaging-manuals/copyright-format/1.0/
Upstream-Name: curry-frontend
Upstream-Contact: Michael Hanus <mh@informatik.uni-kiel.de>
Source: https://git.ps.informatik.uni-kiel.de/curry/curry-frontend
Files: src/Base/CurryTypes.hs
Copyright: Wolfgang Lux
2011 - 2012, Björn Peemöller
2015, Jan Tikovsky
License: BSD-3-clause
Files: src/Base/Expr.hs
Copyright: Wolfgang Lux
2011 - 2015, Björn Peemöller
2015, Jan Tikovsky
License: BSD-3-clause
Files: src/Base/Messages.hs
Copyright: 2011 - 2016, Björn Peemöller
License: BSD-3-clause
Files: src/Base/NestEnv.hs
Copyright: 1999 - 2003, Wolfgang Lux
2011 - 2015, Björn Peemöller
License: BSD-3-clause
Files: src/Base/SCC.hs
Copyright: 2000, 2002 - 2003, Wolfgang Lux
License: BSD-3-clause
Files: src/Base/Subst.hs
Copyright: 2002, Wolfgang Lux
License: BSD-3-clause
Files: src/Base/TopEnv.hs
Copyright: 1999 - 2003, Wolfgang Lux
2005, Martin Engelke
2011 - 2012, Björn Peemöller
License: BSD-3-clause
Files: src/Base/TypeSubst.hs
Copyright: 2003, Wolfgang Lux
License: BSD-3-clause
Files: src/Base/Types.hs
Copyright: 2002 - 2004, Wolfgang Lux
Martin Engelke
2015, Jan Tikovsky
License: BSD-3-clause
Files: src/Base/Typing.hs
Copyright: 2003 - 2006, Wolfgang Lux
2014 - 2015, Jan Tikovsky
License: BSD-3-clause
Files: src/Base/Utils.hs
Copyright: 2001 - 2003, Wolfgang Lux
2011 - 2015, Björn Peemöler
License: BSD-3-clause
Files: src/Checks.hs
Copyright: 2011 - 2013, Björn Peemöller
License: BSD-3-clause
Files: src/Checks/ExportCheck.hs
Copyright: 1999 - 2004, Wolfgang Lux
2011 - 2016, Björn Peemöller
2015 - 2016, Yannik Potdevin
License: BSD-3-clause
Files: src/Checks/ImportSyntaxCheck.hs
Copyright: 2016, Jan Tikovsky
License: BSD-3-clause
Files: src/Checks/InterfaceCheck.hs
Copyright: 2000 - 2007, Wolfgang Lux
2015, Jan Tikovsky
License: BSD-3-clause
Files: src/Checks/InterfaceSyntaxCheck.hs
Copyright: 2000 - 2007, Wolfgang Lux
2011 - 2015, Björn Peemöller
2015, Jan Tikovsky
License: BSD-3-clause
Files: src/Checks/KindCheck.hs
Copyright: 2000 - 2007, Wolfgang Lux
Martin Engelke
Björn Peemöller
2014 - 2015, Jan Tikovsky
License: BSD-3-clause
Files: src/Checks/PrecCheck.hs
Copyright: 2001 - 2004, Wolfgang Lux
Martin Engelke
Björn Peemöller
2015, Jan Tikovsky
License: BSD-3-clause
Files: src/Checks/SyntaxCheck.hs
Copyright: 1999 - 2004, Wolfgang Lux
Martin Engelke
Björn Peemöller
2015, Jan Tikovsky
License: BSD-3-clause
Files: src/Checks/TypeCheck.hs
Copyright: 1999 - 2004, Wolfgang Lux
Martin Engelke
2011 - 2015, Björn Peemöller
2014 - 2015, Jan Tikovsky
License: BSD-3-clause
Files: src/Checks/WarnCheck.hs
Copyright: 2006, Martin Engelke
2011 - 2014, Björn Peemöller
2014 - 2015, Jan Tikovsky
License: BSD-3-clause
Files: src/CompilerEnv.hs
Copyright: 2011 - 2015, Björn Peemöller
License: BSD-3-clause
Files: src/CompilerOpts.hs
Copyright: 2005, Martin Engelke
2007, Sebastian Fischer
2011 - 2016, Björn Peemöller
License: BSD-3-clause
Files: src/CurryBuilder.hs
Copyright: 2005, Martin Engelke
2007, Sebastian Fischer
2011 - 2015, Björn Peemöller
License: BSD-3-clause
Files: src/CurryDeps.hs
Copyright: 2002 - 2004, Wolfgang Lux
2005, Martin Engelke
2007, Sebastian Fischer
2011 - 2013, Björn Peemöller
License: BSD-3-clause
Files: src/Env/Interface.hs
Copyright: 2002 - 2004, Wolfgang Lux
2011 - 20113, Björn Peemöller
License: BSD-3-clause
Files: src/Env/ModuleAlias.hs
Copyright: 2002 - 2004, Wolfgang Lux
2011 - 2013, Björn Peemöller
License: BSD-3-clause
Files: src/Env/OpPrec.hs
Copyright: 2002 - 2004, Wolfgang Lux
2011 - 2013, Björn Peemöller
License: BSD-3-clause
Files: src/Env/TypeConstructor.hs
Copyright: 2002 - 2004, Wolfgang Lux
2011, Björn Peemöller
License: BSD-3-clause
Files: src/Env/Value.hs
Copyright: 2001 - 2004, Wolfgang Lux
2011, Björn Peemöller
2015, Jan Tikovsky
License: BSD-3-clause
Files: src/Exports.hs
Copyright: 2000 - 2004, Wolfgang Lux
2005, Martin Engelke
2011 - 2016, Björn Peemöller
2015, Jan Tikovsky
License: BSD-3-clause
Files: src/Files/CymakePath.hs
Copyright: 2011, Björn Peemöller (bjp@informatik.uni-kiel.de)
License: BSD-3-clause
Files: src/Generators.hs
Copyright: 2011, Björn Peemöller (bjp@informatik.uni-kiel.de)
License: BSD-3-clause
Files: src/Generators/GenAbstractCurry.hs
Copyright: 2005, Martin Engelke
2011 - 2015, Björn Peemöller
2015, Jan Tikovsky
License: BSD-3-clause
Files: src/Generators/GenFlatCurry.hs
Copyright: 2005, Martin Engelke
2011 - 2016, Björn Peemöller
License: BSD-3-clause
Files: src/Html/CurryHtml.hs
Copyright: 2011 - 2016, Björn Peemöller
2016, Jan Tikovsky
License: BSD-3-clause
Files: src/Html/SyntaxColoring.hs
Copyright: 2014 - 2016, Björn Peemöller
2016, Jan Tikovsky
License: BSD-3-clause
Files: src/IL.hs
Copyright: 2014, Björn Peemöller
License: BSD-3-clause
Files: src/IL/Pretty.hs
Copyright: 1999 - 2003, Wolfgang Lux
Martin Engelke
2011 - 2015, Björn Peemöller
License: BSD-3-clause
Files: src/IL/ShowModule.hs
Copyright: 2015, Björn Peemöller
License: BSD-3-clause
Files: src/IL/Type.hs
Copyright: 1999 - 2003, Wolfgang Lux
Martin Engelke
License: BSD-3-clause
Files: src/Imports.hs
Copyright: 2000 - 2003, Wolfgang Lux
2011, Björn Peemöller
2016, Jan Tikovsky
License: BSD-3-clause
Files: src/Interfaces.hs
Copyright: 2000 - 2004, Wolfgang Lux
2011 - 2013, Björn Peemöller
License: BSD-3-clause
Files: src/Modules.hs
Copyright: 1999 - 2004, Wolfgang Lux
2005, Martin Engelke
2007, Sebastian Fischer
2011 - 2015, Björn Peemöller
2016, Jan Tikovsky
License: BSD-3-clause
Files: src/TokenStream.hs
Copyright: 2015 - 2016, Katharina Rahf
2015 - 2016, Björn Peemöller
2015 - 2016, Jan Tikovsky
License: BSD-3-clause
Files: src/Transformations.hs
Copyright: 2011, Björn Peemöller (bjp@informatik.uni-kiel.de)
License: BSD-3-clause
Files: src/Transformations/CaseCompletion.hs
Copyright: 2005, Martin Engelke
2011 - 2015, Björn Peemöller
2016, Jan Tikovsky
License: BSD-3-clause
Files: src/Transformations/CurryToIL.hs
Copyright: 1999 - 2003, Wolfgang Lux
Martin Engelke
2011 - 2015, Björn Peemöller
2015, Jan Tikovsky
License: BSD-3-clause
Files: src/Transformations/Desugar.hs
Copyright: 2001 - 2004, Wolfgang Lux
Martin Engelke
2011 - 2015, Björn Peemöller
2015, Jan Tikovsky
License: BSD-3-clause
Files: src/Transformations/Lift.hs
Copyright: 2001 - 2003, Wolfgang Lux
2011 - 2015, Björn Peemöller
License: BSD-3-clause
Files: src/Transformations/Qual.hs
Copyright: 2001 - 2004, Wolfgang Lux
2005, Martin Engelke
2011 - 2015, Björn Peemöller
License: BSD-3-clause
Files: src/Transformations/Simplify.hs
Copyright: 2003, Wolfgang Lux
Martin Engelke
2011 - 2015, Björn Peemöller
License: BSD-3-clause
Files: src/cymake.hs
Copyright: 2005, Martin Engelke
2011 - 2016, Björn Peemöller
License: BSD-3-clause
Files: data/currysource.css
test/TestFrontend.hs
test/fail/Bool.curry
test/fail/ErrorMultipleSignature.curry
test/fail/ExportCheck/AmbiguousName.curry
test/fail/ExportCheck/AmbiguousType.curry
test/fail/ExportCheck/ModuleNotImported.curry
test/fail/ExportCheck/MultipleName.curry
test/fail/ExportCheck/MultipleType.curry
test/fail/ExportCheck/NoDataType.curry
test/fail/ExportCheck/OutsideTypeConstructor.curry
test/fail/ExportCheck/OutsideTypeLabel.curry
test/fail/ExportCheck/UndefinedElement.curry
test/fail/ExportCheck/UndefinedName.curry
test/fail/ExportCheck/UndefinedType.curry
test/fail/FP_Cyclic.curry
test/fail/FP_NonGlobal.curry
test/fail/FP_Restrictions.curry
test/fail/ImportError.curry
test/fail/KindCheck.curry
test/fail/MultipleArities.curry
test/fail/MultipleDefinitions.curry
test/fail/MultiplePrecedence.curry
test/fail/PatternRestrictions.curry
test/fail/PragmaError.curry
test/fail/PrecedenceRange.curry
test/fail/Prelude.curry
test/fail/RecordLabelIDs.curry
test/fail/RecursiveTypeSyn.curry
test/fail/SyntaxError.curry
test/fail/TypeError1.curry
test/fail/TypeError2.curry
test/fail/TypedFreeVariables.curry
test/pass/ACVisibility.curry
test/pass/AbstractCurryBug.curry
test/pass/AnonymVar.curry
test/pass/B/C.curry
test/pass/CaseComplete.curry
test/pass/DefaultPrecedence.curry
test/pass/Dequeue.curry
test/pass/ExplicitLayout.curry
test/pass/FCase.curry
test/pass/FP_Lifting.curry
test/pass/FP_NonCyclic.curry
test/pass/FP_NonLinearity.curry
test/pass/FunctionalPatterns.curry
test/pass/HaskellRecords.curry
test/pass/Hierarchical.curry
test/pass/Infix.curry
test/pass/Inline.curry
test/pass/Lambda.curry
test/pass/List.curry
test/pass/Maybe.curry
test/pass/NegLit.curry
test/pass/Newtype1.curry
test/pass/Newtype2.curry
test/pass/NonLinearLHS.curry
test/pass/OperatorDefinition.curry
test/pass/PatDecl.curry
test/pass/Prelude.curry
test/pass/Pretty.curry
test/pass/RecordTest1.curry
test/pass/RecordTest2.curry
test/pass/RecordTest3.curry
test/pass/RecordsPolymorphism.curry
test/pass/ReexportTest.curry
test/pass/SelfExport.curry
test/pass/Set.curry
test/pass/SpaceLeak.curry
test/pass/StringGap.curry
test/pass/TyConsTest.curry
test/pass/TypedExpr.curry
test/pass/UntypedAcy.curry
test/pass/Unzip.curry
test/warning/AliasClash.curry
test/warning/Case1.curry
test/warning/Case2.curry
test/warning/CheckSignature.curry
test/warning/List.curry
test/warning/Maybe.curry
test/warning/NonExhaustivePattern.curry
test/warning/OverlappingPatterns.curry
test/warning/Prelude.curry
test/warning/ShadowingSymbols.curry
test/warning/TabCharacter.curry
test/warning/UnexportedFunction.curry
.gitignore
CHANGELOG.md
LIESMICH
Setup.hs
curry-frontend.cabal
overview.md
Copyright:
1998-2004, Wolfgang Lux
2005-2016, Michael Hanus
License: BSD-3-clause
Comment:
Assuming license and copyright holders as found in LICENSE file.
Files: debian/*
Copyright: 2016, Mike Gabriel <sunweaver@debian.org>
License: BSD-3-clause
License: BSD-3-clause
Redistribution and use in source and binary forms, with or without
modification, are permitted provided that the following conditions are
met:
.
- Redistributions of source code must retain the above copyright
notice, this list of conditions and the following disclaimer.
.
- Redistributions in binary form must reproduce the above copyright
notice, this list of conditions and the following disclaimer in the
documentation and/or other materials provided with the distribution.
.
- None of the names of the copyright holders and contributors may be
used to endorse or promote products derived from this software without
specific prior written permission.
.
THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
"AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
(INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
data/currysource.css usr/share/curry-frontend/
dist-ghc/build/curry-frontend/curry-frontend usr/bin/
debian/man/curry-frontend.1
\ No newline at end of file
overview.md
\ No newline at end of file
.TH CURRY-FRONTEND "1" "December 2016" "0.4.2" "User Commands"
.SH NAME
curry\-frontend \- Lexer, parser, type checker, etc. for the Curry programming language
.SH SYNOPSIS
curry\-frontend [OPTIONS] ... MODULES ...
.SH DESCRIPTION
The Curry Frontend consists of the executable program
"curry\-frontend". It is used by various backends to
compile programs written in the functional logic language
Curry to various intermediate representations.
.PP
For further information, please check
http://currry-language.org
.SH OPTIONS
.TP
\fB\-h\fR, \-?, \fB\-\-help\fR
display this help and exit
.TP
\fB\-V\fR, \fB\-\-version\fR
show the version number and exit
.TP
\fB\-\-numeric\-version\fR
show the numeric version number and exit
.TP
\fB\-v\fR \fI<n>\fR, \fB\-\-verbosity\fR=\fI\,<n>\/\fR
set verbosity level \fI<n>\fR, where \fI<n>\fR is one of
0: quiet
1: status
.TP
\fB\-q\fR, \fB\-\-no\-verb\fR
set verbosity level to quiet
.TP
\fB\-f\fR, \fB\-\-force\fR
force compilation of target file
.TP
\fB\-P\fR dir[:dir], \fB\-\-lib\-dir\fR=\fI\,<dir1>[\/:<dir2>]\fR
search for libraries in \fI<dir1>[:<dir2>]\fR
.TP
\fB\-i\fR dir[:dir], \fB\-\-import\-dir\fR=\fI\,<dir>[\/:<dir2>]\fR
search for imports in \fI<dir1>[:<dir2>]\fR
.TP
\fB\-\-htmldir\fR=\fI\,<dir>\/\fR
write HTML documentation into directory \fI<dir>\fR
.TP
\fB\-\-no\-subdir\fR
disable writing to `.curry' subdirectory
.TP
\fB\-\-no\-intf\fR
do not create an interface file
.TP
\fB\-\-no\-warn\fR
do not print warnings
.TP
\fB\-\-no\-overlap\-warn\fR
do not print warnings for overlapping rules
.TP
\fB\-\-tokens\fR
generate token stream
.TP
\fB\-\-parse\-only\fR
generate source representation
.TP
\fB\-\-flat\fR
generate FlatCurry code
.TP
\fB\-\-extended\-flat\fR
generate FlatCurry code with source references
.TP
\fB\-\-acy\fR
generate typed AbstractCurry
.TP
\fB\-\-uacy\fR
generate untyped AbstractCurry
.TP
\fB\-\-html\fR