data/curry-frontend-1.0.4/.gitignore: ASCII text data/curry-frontend-1.0.4/CHANGELOG.md: ASCII text data/curry-frontend-1.0.4/LICENSE: ASCII text data/curry-frontend-1.0.4/LIESMICH: ISO-8859 text data/curry-frontend-1.0.4/Setup.hs: ASCII text data/curry-frontend-1.0.4/data/currysource.css: assembler source, ASCII text data/curry-frontend-1.0.4/overview.md: UTF-8 Unicode text data/curry-frontend-1.0.4/src/Base/AnnotExpr.hs: ASCII text data/curry-frontend-1.0.4/src/Base/CurryKinds.hs: ASCII text data/curry-frontend-1.0.4/src/Base/Expr.hs: UTF-8 Unicode text data/curry-frontend-1.0.4/src/Base/KindSubst.hs: ASCII text data/curry-frontend-1.0.4/src/Base/Kinds.hs: ASCII text data/curry-frontend-1.0.4/src/Base/Messages.hs: UTF-8 Unicode text data/curry-frontend-1.0.4/src/Base/NestEnv.hs: UTF-8 Unicode text data/curry-frontend-1.0.4/src/Base/SCC.hs: ASCII text data/curry-frontend-1.0.4/src/Base/Subst.hs: ASCII text data/curry-frontend-1.0.4/src/Base/TopEnv.hs: UTF-8 Unicode text data/curry-frontend-1.0.4/src/Base/Utils.hs: UTF-8 Unicode text data/curry-frontend-1.0.4/src/Base/CurryTypes.hs: UTF-8 Unicode text data/curry-frontend-1.0.4/src/Base/PrettyKinds.hs: ASCII text data/curry-frontend-1.0.4/src/Base/PrettyTypes.hs: ASCII text data/curry-frontend-1.0.4/src/Base/TypeExpansion.hs: ASCII text data/curry-frontend-1.0.4/src/Base/Types.hs: ASCII text data/curry-frontend-1.0.4/src/Base/TypeSubst.hs: ASCII text data/curry-frontend-1.0.4/src/Base/Typing.hs: ASCII text data/curry-frontend-1.0.4/src/Checks.hs: UTF-8 Unicode text data/curry-frontend-1.0.4/src/Checks/ExtensionCheck.hs: ASCII text data/curry-frontend-1.0.4/src/Checks/ImportSyntaxCheck.hs: ASCII text data/curry-frontend-1.0.4/src/Checks/PrecCheck.hs: UTF-8 Unicode text data/curry-frontend-1.0.4/src/Checks/DeriveCheck.hs: ASCII text data/curry-frontend-1.0.4/src/Checks/ExportCheck.hs: UTF-8 Unicode text data/curry-frontend-1.0.4/src/Checks/InstanceCheck.hs: ASCII text data/curry-frontend-1.0.4/src/Checks/InterfaceCheck.hs: ASCII text data/curry-frontend-1.0.4/src/Checks/InterfaceSyntaxCheck.hs: UTF-8 Unicode text data/curry-frontend-1.0.4/src/Checks/KindCheck.hs: ASCII text data/curry-frontend-1.0.4/src/Checks/TypeCheck.hs: UTF-8 Unicode text data/curry-frontend-1.0.4/src/Checks/WarnCheck.hs: UTF-8 Unicode text data/curry-frontend-1.0.4/src/Checks/SyntaxCheck.hs: UTF-8 Unicode text data/curry-frontend-1.0.4/src/Checks/TypeSyntaxCheck.hs: ASCII text data/curry-frontend-1.0.4/src/CompilerEnv.hs: UTF-8 Unicode text data/curry-frontend-1.0.4/src/CondCompile.hs: ASCII text data/curry-frontend-1.0.4/src/CurryBuilder.hs: UTF-8 Unicode text data/curry-frontend-1.0.4/src/CurryDeps.hs: UTF-8 Unicode text data/curry-frontend-1.0.4/src/Env/Class.hs: ASCII text data/curry-frontend-1.0.4/src/Env/Instance.hs: ASCII text data/curry-frontend-1.0.4/src/Env/Interface.hs: UTF-8 Unicode text data/curry-frontend-1.0.4/src/Env/ModuleAlias.hs: UTF-8 Unicode text data/curry-frontend-1.0.4/src/Env/OpPrec.hs: UTF-8 Unicode text data/curry-frontend-1.0.4/src/Env/Type.hs: ASCII text data/curry-frontend-1.0.4/src/Env/TypeConstructor.hs: UTF-8 Unicode text data/curry-frontend-1.0.4/src/Env/Value.hs: UTF-8 Unicode text data/curry-frontend-1.0.4/src/Files/CymakePath.hs: UTF-8 Unicode text data/curry-frontend-1.0.4/src/Generators.hs: UTF-8 Unicode text data/curry-frontend-1.0.4/src/Generators/GenFlatCurry.hs: ASCII text data/curry-frontend-1.0.4/src/Generators/GenTypeAnnotatedFlatCurry.hs: ASCII text data/curry-frontend-1.0.4/src/Generators/GenTypedFlatCurry.hs: ASCII text data/curry-frontend-1.0.4/src/Generators/GenAbstractCurry.hs: UTF-8 Unicode text data/curry-frontend-1.0.4/src/Html/CurryHtml.hs: HTML document, UTF-8 Unicode text data/curry-frontend-1.0.4/src/Html/SyntaxColoring.hs: UTF-8 Unicode text data/curry-frontend-1.0.4/src/IL.hs: UTF-8 Unicode text data/curry-frontend-1.0.4/src/IL/Pretty.hs: UTF-8 Unicode text data/curry-frontend-1.0.4/src/IL/ShowModule.hs: UTF-8 Unicode text data/curry-frontend-1.0.4/src/IL/Type.hs: ASCII text data/curry-frontend-1.0.4/src/IL/Typing.hs: ASCII text data/curry-frontend-1.0.4/src/Interfaces.hs: UTF-8 Unicode text data/curry-frontend-1.0.4/src/TokenStream.hs: UTF-8 Unicode text data/curry-frontend-1.0.4/src/Transformations.hs: UTF-8 Unicode text data/curry-frontend-1.0.4/src/Transformations/Lift.hs: UTF-8 Unicode text data/curry-frontend-1.0.4/src/Transformations/Newtypes.hs: ASCII text data/curry-frontend-1.0.4/src/Transformations/Simplify.hs: UTF-8 Unicode text data/curry-frontend-1.0.4/src/Transformations/CaseCompletion.hs: UTF-8 Unicode text data/curry-frontend-1.0.4/src/Transformations/CurryToIL.hs: UTF-8 Unicode text data/curry-frontend-1.0.4/src/Transformations/Derive.hs: ASCII text data/curry-frontend-1.0.4/src/Transformations/Desugar.hs: UTF-8 Unicode text data/curry-frontend-1.0.4/src/Transformations/Dictionary.hs: ASCII text data/curry-frontend-1.0.4/src/Transformations/Qual.hs: UTF-8 Unicode text data/curry-frontend-1.0.4/src/cymake.hs: UTF-8 Unicode text data/curry-frontend-1.0.4/src/CompilerOpts.hs: UTF-8 Unicode text data/curry-frontend-1.0.4/src/Exports.hs: UTF-8 Unicode text data/curry-frontend-1.0.4/src/Imports.hs: UTF-8 Unicode text data/curry-frontend-1.0.4/src/Modules.hs: UTF-8 Unicode text data/curry-frontend-1.0.4/test/fail/Bool.curry: ASCII text data/curry-frontend-1.0.4/test/fail/ErrorMultipleSignature.curry: ASCII text data/curry-frontend-1.0.4/test/fail/ExportCheck/AmbiguousName.curry: ASCII text data/curry-frontend-1.0.4/test/fail/ExportCheck/AmbiguousType.curry: ASCII text data/curry-frontend-1.0.4/test/fail/ExportCheck/ModuleNotImported.curry: ASCII text data/curry-frontend-1.0.4/test/fail/ExportCheck/MultipleName.curry: ASCII text data/curry-frontend-1.0.4/test/fail/ExportCheck/MultipleType.curry: ASCII text data/curry-frontend-1.0.4/test/fail/ExportCheck/NoDataType.curry: ASCII text data/curry-frontend-1.0.4/test/fail/ExportCheck/OutsideTypeConstructor.curry: ASCII text data/curry-frontend-1.0.4/test/fail/ExportCheck/OutsideTypeLabel.curry: ASCII text data/curry-frontend-1.0.4/test/fail/ExportCheck/UndefinedElement.curry: ASCII text data/curry-frontend-1.0.4/test/fail/ExportCheck/UndefinedName.curry: ASCII text data/curry-frontend-1.0.4/test/fail/ExportCheck/UndefinedType.curry: ASCII text data/curry-frontend-1.0.4/test/fail/FP_Cyclic.curry: ASCII text data/curry-frontend-1.0.4/test/fail/FP_NonGlobal.curry: ASCII text data/curry-frontend-1.0.4/test/fail/FP_Restrictions.curry: ASCII text data/curry-frontend-1.0.4/test/fail/ImportError.curry: ASCII text data/curry-frontend-1.0.4/test/fail/KindCheck.curry: ASCII text data/curry-frontend-1.0.4/test/fail/MultipleArities.curry: ASCII text data/curry-frontend-1.0.4/test/fail/MultipleDefinitions.curry: ASCII text data/curry-frontend-1.0.4/test/fail/MultiplePrecedence.curry: ASCII text data/curry-frontend-1.0.4/test/fail/PatternRestrictions.curry: ASCII text data/curry-frontend-1.0.4/test/fail/PragmaError.curry: ASCII text data/curry-frontend-1.0.4/test/fail/PrecedenceRange.curry: ASCII text data/curry-frontend-1.0.4/test/fail/Prelude.curry: C source, UTF-8 Unicode text data/curry-frontend-1.0.4/test/fail/RecordLabelIDs.curry: ASCII text data/curry-frontend-1.0.4/test/fail/RecursiveTypeSyn.curry: ASCII text data/curry-frontend-1.0.4/test/fail/SyntaxError.curry: ASCII text data/curry-frontend-1.0.4/test/fail/TypeError1.curry: ASCII text, with no line terminators data/curry-frontend-1.0.4/test/fail/TypeError2.curry: ASCII text data/curry-frontend-1.0.4/test/fail/TypedFreeVariables.curry: ASCII text data/curry-frontend-1.0.4/test/pass/AbstractCurryBug.curry: ASCII text data/curry-frontend-1.0.4/test/pass/AnonymVar.curry: ASCII text data/curry-frontend-1.0.4/test/pass/B/C.curry: ASCII text data/curry-frontend-1.0.4/test/pass/CaseComplete.curry: ASCII text data/curry-frontend-1.0.4/test/pass/DefaultPrecedence.curry: ASCII text data/curry-frontend-1.0.4/test/pass/Dequeue.curry: ASCII text data/curry-frontend-1.0.4/test/pass/ExplicitLayout.curry: ASCII text data/curry-frontend-1.0.4/test/pass/FCase.curry: ASCII text data/curry-frontend-1.0.4/test/pass/FP_Lifting.curry: ASCII text data/curry-frontend-1.0.4/test/pass/FP_NonCyclic.curry: ASCII text data/curry-frontend-1.0.4/test/pass/FP_NonLinearity.curry: ASCII text data/curry-frontend-1.0.4/test/pass/FunctionalPatterns.curry: ASCII text data/curry-frontend-1.0.4/test/pass/HaskellRecords.curry: ASCII text data/curry-frontend-1.0.4/test/pass/Hierarchical.curry: ASCII text data/curry-frontend-1.0.4/test/pass/Infix.curry: ASCII text data/curry-frontend-1.0.4/test/pass/Inline.curry: ASCII text data/curry-frontend-1.0.4/test/pass/Lambda.curry: ASCII text, with no line terminators data/curry-frontend-1.0.4/test/pass/List.curry: ASCII text data/curry-frontend-1.0.4/test/pass/Maybe.curry: ASCII text data/curry-frontend-1.0.4/test/pass/NegLit.curry: ASCII text data/curry-frontend-1.0.4/test/pass/Newtype1.curry: ASCII text data/curry-frontend-1.0.4/test/pass/Newtype2.curry: ASCII text data/curry-frontend-1.0.4/test/pass/NonLinearLHS.curry: ASCII text data/curry-frontend-1.0.4/test/pass/OperatorDefinition.curry: ASCII text data/curry-frontend-1.0.4/test/pass/PatDecl.curry: ASCII text data/curry-frontend-1.0.4/test/pass/Prelude.curry: C source, UTF-8 Unicode text data/curry-frontend-1.0.4/test/pass/Pretty.curry: HTML document, ASCII text data/curry-frontend-1.0.4/test/pass/RecordTest1.curry: ASCII text data/curry-frontend-1.0.4/test/pass/RecordTest2.curry: ASCII text data/curry-frontend-1.0.4/test/pass/RecordTest3.curry: ASCII text data/curry-frontend-1.0.4/test/pass/RecordsPolymorphism.curry: ASCII text data/curry-frontend-1.0.4/test/pass/ReexportTest.curry: ASCII text data/curry-frontend-1.0.4/test/pass/SelfExport.curry: ASCII text data/curry-frontend-1.0.4/test/pass/Set.curry: ASCII text data/curry-frontend-1.0.4/test/pass/SpaceLeak.curry: ASCII text data/curry-frontend-1.0.4/test/pass/StringGap.curry: ASCII text data/curry-frontend-1.0.4/test/pass/TyConsTest.curry: ASCII text data/curry-frontend-1.0.4/test/pass/TypedExpr.curry: ASCII text data/curry-frontend-1.0.4/test/pass/UntypedAcy.curry: ASCII text data/curry-frontend-1.0.4/test/pass/Unzip.curry: ASCII text data/curry-frontend-1.0.4/test/pass/ACVisibility.curry: ASCII text data/curry-frontend-1.0.4/test/warning/AliasClash.curry: Python script, ASCII text executable data/curry-frontend-1.0.4/test/warning/Case1.curry: ASCII text data/curry-frontend-1.0.4/test/warning/Case2.curry: ASCII text data/curry-frontend-1.0.4/test/warning/CaseModeH.curry: ASCII text data/curry-frontend-1.0.4/test/warning/CaseModeP.curry: ASCII text data/curry-frontend-1.0.4/test/warning/CheckSignature.curry: ASCII text data/curry-frontend-1.0.4/test/warning/List.curry: ASCII text data/curry-frontend-1.0.4/test/warning/Maybe.curry: ASCII text data/curry-frontend-1.0.4/test/warning/NonExhaustivePattern.curry: ASCII text data/curry-frontend-1.0.4/test/warning/OverlappingPatterns.curry: ASCII text data/curry-frontend-1.0.4/test/warning/Prelude.curry: C source, UTF-8 Unicode text data/curry-frontend-1.0.4/test/warning/ShadowingSymbols.curry: ASCII text data/curry-frontend-1.0.4/test/warning/TabCharacter.curry: ASCII text data/curry-frontend-1.0.4/test/warning/UnexportedFunction.curry: ASCII text data/curry-frontend-1.0.4/test/TestFrontend.hs: ASCII text data/curry-frontend-1.0.4/debian/README.source: ASCII text data/curry-frontend-1.0.4/debian/changelog: ASCII text data/curry-frontend-1.0.4/debian/compat: ASCII text data/curry-frontend-1.0.4/debian/control: ASCII text data/curry-frontend-1.0.4/debian/copyright: UTF-8 Unicode text data/curry-frontend-1.0.4/debian/curry-frontend.install: ASCII text data/curry-frontend-1.0.4/debian/curry-frontend.manpages: ASCII text, with no line terminators data/curry-frontend-1.0.4/debian/docs: ASCII text, with no line terminators data/curry-frontend-1.0.4/debian/man/curry-frontend.1: troff or preprocessor input, ASCII text data/curry-frontend-1.0.4/debian/patches/0001_remove-implicit-prelude-import-from-AST.patch: unified diff output, ASCII text data/curry-frontend-1.0.4/debian/patches/0002_export-AST-unqualified.patch: unified diff output, ASCII text data/curry-frontend-1.0.4/debian/patches/0003_keep-SpanInfos-for-local-idents-in-SyntaxCheck.patch: unified diff output, ASCII text data/curry-frontend-1.0.4/debian/patches/0004_fix-spaninfo-of-renamed-typevars.patch: unified diff output, ASCII text data/curry-frontend-1.0.4/debian/patches/bump-to-new-1-0-4-tag.patch: unified diff output, ASCII text data/curry-frontend-1.0.4/debian/patches/series: ASCII text data/curry-frontend-1.0.4/debian/rules: a /usr/bin/make -f script, ASCII text executable data/curry-frontend-1.0.4/debian/source/format: ASCII text data/curry-frontend-1.0.4/debian/source/lintian-overrides: ASCII text data/curry-frontend-1.0.4/debian/upstream/metadata: ASCII text data/curry-frontend-1.0.4/debian/watch: ASCII text data/curry-frontend-1.0.4/.pc/.version: ASCII text data/curry-frontend-1.0.4/.pc/.quilt_patches: ASCII text data/curry-frontend-1.0.4/.pc/.quilt_series: ASCII text data/curry-frontend-1.0.4/.pc/applied-patches: ASCII text data/curry-frontend-1.0.4/.pc/bump-to-new-1-0-4-tag.patch/curry-frontend.cabal: ASCII text data/curry-frontend-1.0.4/.pc/bump-to-new-1-0-4-tag.patch/data/currysource.css: assembler source, ASCII text data/curry-frontend-1.0.4/.pc/bump-to-new-1-0-4-tag.patch/src/Base/CurryTypes.hs: UTF-8 Unicode text data/curry-frontend-1.0.4/.pc/bump-to-new-1-0-4-tag.patch/src/Base/PrettyKinds.hs: ASCII text data/curry-frontend-1.0.4/.pc/bump-to-new-1-0-4-tag.patch/src/Base/PrettyTypes.hs: ASCII text data/curry-frontend-1.0.4/.pc/bump-to-new-1-0-4-tag.patch/src/Base/TypeExpansion.hs: ASCII text data/curry-frontend-1.0.4/.pc/bump-to-new-1-0-4-tag.patch/src/Base/Types.hs: ASCII text data/curry-frontend-1.0.4/.pc/bump-to-new-1-0-4-tag.patch/src/Base/TypeSubst.hs: ASCII text data/curry-frontend-1.0.4/.pc/bump-to-new-1-0-4-tag.patch/src/Base/Typing.hs: ASCII text data/curry-frontend-1.0.4/.pc/bump-to-new-1-0-4-tag.patch/src/Checks/DeriveCheck.hs: ASCII text data/curry-frontend-1.0.4/.pc/bump-to-new-1-0-4-tag.patch/src/Checks/ExportCheck.hs: UTF-8 Unicode text data/curry-frontend-1.0.4/.pc/bump-to-new-1-0-4-tag.patch/src/Checks/InstanceCheck.hs: ASCII text data/curry-frontend-1.0.4/.pc/bump-to-new-1-0-4-tag.patch/src/Checks/InterfaceCheck.hs: ASCII text data/curry-frontend-1.0.4/.pc/bump-to-new-1-0-4-tag.patch/src/Checks/InterfaceSyntaxCheck.hs: UTF-8 Unicode text data/curry-frontend-1.0.4/.pc/bump-to-new-1-0-4-tag.patch/src/Checks/KindCheck.hs: ASCII text data/curry-frontend-1.0.4/.pc/bump-to-new-1-0-4-tag.patch/src/Checks/SyntaxCheck.hs: UTF-8 Unicode text data/curry-frontend-1.0.4/.pc/bump-to-new-1-0-4-tag.patch/src/Checks/TypeCheck.hs: UTF-8 Unicode text data/curry-frontend-1.0.4/.pc/bump-to-new-1-0-4-tag.patch/src/Checks/TypeSyntaxCheck.hs: ASCII text data/curry-frontend-1.0.4/.pc/bump-to-new-1-0-4-tag.patch/src/Checks/WarnCheck.hs: UTF-8 Unicode text data/curry-frontend-1.0.4/.pc/bump-to-new-1-0-4-tag.patch/src/CompilerOpts.hs: UTF-8 Unicode text data/curry-frontend-1.0.4/.pc/bump-to-new-1-0-4-tag.patch/src/Env/TypeConstructor.hs: UTF-8 Unicode text data/curry-frontend-1.0.4/.pc/bump-to-new-1-0-4-tag.patch/src/Env/Value.hs: UTF-8 Unicode text data/curry-frontend-1.0.4/.pc/bump-to-new-1-0-4-tag.patch/src/Exports.hs: UTF-8 Unicode text data/curry-frontend-1.0.4/.pc/bump-to-new-1-0-4-tag.patch/src/Generators/GenAbstractCurry.hs: UTF-8 Unicode text data/curry-frontend-1.0.4/.pc/bump-to-new-1-0-4-tag.patch/src/Html/CurryHtml.hs: HTML document, UTF-8 Unicode text data/curry-frontend-1.0.4/.pc/bump-to-new-1-0-4-tag.patch/src/Html/SyntaxColoring.hs: UTF-8 Unicode text data/curry-frontend-1.0.4/.pc/bump-to-new-1-0-4-tag.patch/src/Imports.hs: UTF-8 Unicode text data/curry-frontend-1.0.4/.pc/bump-to-new-1-0-4-tag.patch/src/Transformations/CaseCompletion.hs: UTF-8 Unicode text data/curry-frontend-1.0.4/.pc/bump-to-new-1-0-4-tag.patch/src/Transformations/CurryToIL.hs: UTF-8 Unicode text data/curry-frontend-1.0.4/.pc/bump-to-new-1-0-4-tag.patch/src/Transformations/Derive.hs: ASCII text data/curry-frontend-1.0.4/.pc/bump-to-new-1-0-4-tag.patch/src/Transformations/Desugar.hs: UTF-8 Unicode text data/curry-frontend-1.0.4/.pc/bump-to-new-1-0-4-tag.patch/src/Transformations/Dictionary.hs: ASCII text data/curry-frontend-1.0.4/.pc/bump-to-new-1-0-4-tag.patch/src/Transformations/Qual.hs: UTF-8 Unicode text data/curry-frontend-1.0.4/.pc/bump-to-new-1-0-4-tag.patch/test/pass/ACVisibility.curry: ASCII text data/curry-frontend-1.0.4/.pc/bump-to-new-1-0-4-tag.patch/test/TestFrontend.hs: ASCII text data/curry-frontend-1.0.4/.pc/0001_remove-implicit-prelude-import-from-AST.patch/src/Modules.hs: UTF-8 Unicode text data/curry-frontend-1.0.4/.pc/0002_export-AST-unqualified.patch/src/Modules.hs: UTF-8 Unicode text data/curry-frontend-1.0.4/.pc/0003_keep-SpanInfos-for-local-idents-in-SyntaxCheck.patch/src/Checks/SyntaxCheck.hs: UTF-8 Unicode text data/curry-frontend-1.0.4/.pc/0004_fix-spaninfo-of-renamed-typevars.patch/src/Checks/TypeSyntaxCheck.hs: ASCII text data/curry-frontend-1.0.4/curry-frontend.cabal: ASCII text