Loading additional-cabals/curry-base-1.1.0.cabaldeleted 100644 → 0 +0 −100 Original line number Diff line number Diff line Name: curry-base Version: 1.1.0 Cabal-Version: >= 1.10 Synopsis: Functions for manipulating Curry programs Description: This package serves as a foundation for Curry compilers. It defines the intermediate language formats FlatCurry. Additionally, it provides functionality for the smooth integration of compiler frontends and backends. Category: Language License: BSD3 License-File: LICENSE Author: Wolfgang Lux, Martin Engelke, Bernd Braßel, Holger Siegel, Björn Peemöller, Finn Teegen Maintainer: fte@informatik.uni-kiel.de Homepage: http://curry-language.org Build-Type: Simple Stability: experimental Extra-Source-Files: CHANGELOG.md source-repository head type: git location: git://git-ps.informatik.uni-kiel.de/curry/curry-base.git Flag broken-directory Description: Is the cabal configuration of directory incomplete? Default: False Flag old-time Description: Does the directory package use the old time implementation? Default: False Library hs-source-dirs: src default-language: Haskell2010 Build-Depends: base == 4.*, transformers if impl(ghc < 7.4) Build-Depends: either < 4, contravariant < 0.5, semigroupoids < 3.0.3 if flag(broken-directory) { Build-Depends: time, directory == 1.2.0.0, base >= 4.6 } else { if flag(old-time) { Build-Depends: old-time, directory } else { Build-Depends: time, directory >= 1.2.0.1 } } Build-Depends: mtl , containers , filepath , extra >= 1.4.6 , parsec , pretty ghc-options: -Wall Exposed-Modules: Curry.AbstractCurry Curry.AbstractCurry.Files Curry.AbstractCurry.Type Curry.Base.Ident Curry.Base.LexComb Curry.Base.LLParseComb Curry.Base.Message Curry.Base.Monad Curry.Base.Position Curry.Base.Pretty Curry.Base.Span Curry.Base.SpanInfo Curry.CondCompile.Parser Curry.CondCompile.Transform Curry.CondCompile.Type Curry.Files.Filenames Curry.Files.PathUtils Curry.Files.Unlit Curry.FlatCurry Curry.FlatCurry.Files Curry.FlatCurry.Goodies Curry.FlatCurry.InterfaceEquivalence Curry.FlatCurry.Pretty Curry.FlatCurry.Type Curry.FlatCurry.Typeable Curry.FlatCurry.Annotated.Goodies Curry.FlatCurry.Annotated.Type Curry.FlatCurry.Typed.Goodies Curry.FlatCurry.Typed.Type Curry.Syntax Curry.Syntax.Extension Curry.Syntax.InterfaceEquivalence Curry.Syntax.Lexer Curry.Syntax.Parser Curry.Syntax.Pretty Curry.Syntax.ShowModule Curry.Syntax.Type Curry.Syntax.Utils Test-Suite test-base type: detailed-0.9 hs-source-dirs: test default-language: Haskell2010 test-module: TestBase build-depends: base == 4.*, Cabal >= 1.20, curry-base, filepath, mtl additional-cabals/curry-frontend-1.0.2.cabaldeleted 100644 → 0 +0 −166 Original line number Diff line number Diff line Name: curry-frontend Version: 1.0.2 Cabal-Version: >= 1.10 Synopsis: Compile the functional logic language Curry to several intermediate formats Description: The Curry front end consists of the executable program "curry-frontend". It is used by various backends to compile Curry programs to an intermediate representation. The code is a stripped-down version of an early version of the Muenster Curry Compiler (<http://danae.uni-muenster.de/curry/>) which has been extended to produce different intermediate representations. For further information, please check <http://curry-language.org> Category: Language License: BSD3 License-File: LICENSE Author: Wolfgang Lux, Martin Engelke, Bernd Brassel, Holger Siegel, Bjoern Peemoeller, Finn Teegen Maintainer: fte@informatik.uni-kiel.de Homepage: http://curry-language.org Build-Type: Simple Stability: experimental Extra-Source-Files: LIESMICH CHANGELOG.md Data-Dir: data Data-Files: currysource.css source-repository head type: git location: https://git.ps.informatik.uni-kiel.de/curry/curry-frontend.git Flag network-uri description: Get Network.URI from the network-uri package default: True Library hs-source-dirs: src default-language: Haskell2010 Build-Depends: base == 4.* , containers , curry-base == 1.1.0 , directory , extra >= 1.4.6 , filepath , mtl , pretty , process , set-extra , transformers if flag(network-uri) build-depends: network-uri >= 2.6 else build-depends: network < 2.6 Exposed-Modules: Base.AnnotExpr , Base.CurryKinds , Base.CurryTypes , Base.Expr , Base.KindSubst , Base.Kinds , Base.Messages , Base.NestEnv , Base.PrettyKinds , Base.PrettyTypes , Base.SCC , Base.Subst , Base.TopEnv , Base.TypeExpansion , Base.TypeSubst , Base.Types , Base.Typing , Base.Utils , Checks , Checks.DeriveCheck , Checks.ExportCheck , Checks.ExtensionCheck , Checks.ImportSyntaxCheck , Checks.InstanceCheck , Checks.InterfaceCheck , Checks.InterfaceSyntaxCheck , Checks.KindCheck , Checks.PrecCheck , Checks.SyntaxCheck , Checks.TypeCheck , Checks.TypeSyntaxCheck , Checks.WarnCheck , CompilerEnv , CompilerOpts , CondCompile , CurryBuilder , CurryDeps , Env.Class , Env.Instance , Env.Interface , Env.ModuleAlias , Env.OpPrec , Env.Type , Env.TypeConstructor , Env.Value , Exports , Files.CymakePath , Generators , Generators.GenAbstractCurry , Generators.GenFlatCurry , Generators.GenTypedFlatCurry , Generators.GenTypeAnnotatedFlatCurry , Html.CurryHtml , Html.SyntaxColoring , IL , IL.Pretty , IL.ShowModule , IL.Type , IL.Typing , Imports , Interfaces , Modules , TokenStream , Transformations , Transformations.CaseCompletion , Transformations.CurryToIL , Transformations.Derive , Transformations.Desugar , Transformations.Dictionary , Transformations.Lift , Transformations.Newtypes , Transformations.Qual , Transformations.Simplify Other-Modules: Paths_curry_frontend ghc-options: -Wall -fno-warn-orphans Executable curry-frontend hs-source-dirs: src Main-is: cymake.hs default-language: Haskell2010 Build-Depends: base == 4.* , containers , curry-base == 1.1.0 , curry-frontend , directory , extra >= 1.4.6 , filepath , mtl , pretty , process , set-extra , transformers if flag(network-uri) build-depends: network-uri >= 2.6 else build-depends: network < 2.6 ghc-options: -Wall -fno-warn-orphans Test-Suite test-frontend type: detailed-0.9 hs-source-dirs: test default-language: Haskell2010 test-module: TestFrontend build-depends: base == 4.*, Cabal >= 1.20, curry-base == 1.1.0 , curry-frontend, filepath Loading
additional-cabals/curry-base-1.1.0.cabaldeleted 100644 → 0 +0 −100 Original line number Diff line number Diff line Name: curry-base Version: 1.1.0 Cabal-Version: >= 1.10 Synopsis: Functions for manipulating Curry programs Description: This package serves as a foundation for Curry compilers. It defines the intermediate language formats FlatCurry. Additionally, it provides functionality for the smooth integration of compiler frontends and backends. Category: Language License: BSD3 License-File: LICENSE Author: Wolfgang Lux, Martin Engelke, Bernd Braßel, Holger Siegel, Björn Peemöller, Finn Teegen Maintainer: fte@informatik.uni-kiel.de Homepage: http://curry-language.org Build-Type: Simple Stability: experimental Extra-Source-Files: CHANGELOG.md source-repository head type: git location: git://git-ps.informatik.uni-kiel.de/curry/curry-base.git Flag broken-directory Description: Is the cabal configuration of directory incomplete? Default: False Flag old-time Description: Does the directory package use the old time implementation? Default: False Library hs-source-dirs: src default-language: Haskell2010 Build-Depends: base == 4.*, transformers if impl(ghc < 7.4) Build-Depends: either < 4, contravariant < 0.5, semigroupoids < 3.0.3 if flag(broken-directory) { Build-Depends: time, directory == 1.2.0.0, base >= 4.6 } else { if flag(old-time) { Build-Depends: old-time, directory } else { Build-Depends: time, directory >= 1.2.0.1 } } Build-Depends: mtl , containers , filepath , extra >= 1.4.6 , parsec , pretty ghc-options: -Wall Exposed-Modules: Curry.AbstractCurry Curry.AbstractCurry.Files Curry.AbstractCurry.Type Curry.Base.Ident Curry.Base.LexComb Curry.Base.LLParseComb Curry.Base.Message Curry.Base.Monad Curry.Base.Position Curry.Base.Pretty Curry.Base.Span Curry.Base.SpanInfo Curry.CondCompile.Parser Curry.CondCompile.Transform Curry.CondCompile.Type Curry.Files.Filenames Curry.Files.PathUtils Curry.Files.Unlit Curry.FlatCurry Curry.FlatCurry.Files Curry.FlatCurry.Goodies Curry.FlatCurry.InterfaceEquivalence Curry.FlatCurry.Pretty Curry.FlatCurry.Type Curry.FlatCurry.Typeable Curry.FlatCurry.Annotated.Goodies Curry.FlatCurry.Annotated.Type Curry.FlatCurry.Typed.Goodies Curry.FlatCurry.Typed.Type Curry.Syntax Curry.Syntax.Extension Curry.Syntax.InterfaceEquivalence Curry.Syntax.Lexer Curry.Syntax.Parser Curry.Syntax.Pretty Curry.Syntax.ShowModule Curry.Syntax.Type Curry.Syntax.Utils Test-Suite test-base type: detailed-0.9 hs-source-dirs: test default-language: Haskell2010 test-module: TestBase build-depends: base == 4.*, Cabal >= 1.20, curry-base, filepath, mtl
additional-cabals/curry-frontend-1.0.2.cabaldeleted 100644 → 0 +0 −166 Original line number Diff line number Diff line Name: curry-frontend Version: 1.0.2 Cabal-Version: >= 1.10 Synopsis: Compile the functional logic language Curry to several intermediate formats Description: The Curry front end consists of the executable program "curry-frontend". It is used by various backends to compile Curry programs to an intermediate representation. The code is a stripped-down version of an early version of the Muenster Curry Compiler (<http://danae.uni-muenster.de/curry/>) which has been extended to produce different intermediate representations. For further information, please check <http://curry-language.org> Category: Language License: BSD3 License-File: LICENSE Author: Wolfgang Lux, Martin Engelke, Bernd Brassel, Holger Siegel, Bjoern Peemoeller, Finn Teegen Maintainer: fte@informatik.uni-kiel.de Homepage: http://curry-language.org Build-Type: Simple Stability: experimental Extra-Source-Files: LIESMICH CHANGELOG.md Data-Dir: data Data-Files: currysource.css source-repository head type: git location: https://git.ps.informatik.uni-kiel.de/curry/curry-frontend.git Flag network-uri description: Get Network.URI from the network-uri package default: True Library hs-source-dirs: src default-language: Haskell2010 Build-Depends: base == 4.* , containers , curry-base == 1.1.0 , directory , extra >= 1.4.6 , filepath , mtl , pretty , process , set-extra , transformers if flag(network-uri) build-depends: network-uri >= 2.6 else build-depends: network < 2.6 Exposed-Modules: Base.AnnotExpr , Base.CurryKinds , Base.CurryTypes , Base.Expr , Base.KindSubst , Base.Kinds , Base.Messages , Base.NestEnv , Base.PrettyKinds , Base.PrettyTypes , Base.SCC , Base.Subst , Base.TopEnv , Base.TypeExpansion , Base.TypeSubst , Base.Types , Base.Typing , Base.Utils , Checks , Checks.DeriveCheck , Checks.ExportCheck , Checks.ExtensionCheck , Checks.ImportSyntaxCheck , Checks.InstanceCheck , Checks.InterfaceCheck , Checks.InterfaceSyntaxCheck , Checks.KindCheck , Checks.PrecCheck , Checks.SyntaxCheck , Checks.TypeCheck , Checks.TypeSyntaxCheck , Checks.WarnCheck , CompilerEnv , CompilerOpts , CondCompile , CurryBuilder , CurryDeps , Env.Class , Env.Instance , Env.Interface , Env.ModuleAlias , Env.OpPrec , Env.Type , Env.TypeConstructor , Env.Value , Exports , Files.CymakePath , Generators , Generators.GenAbstractCurry , Generators.GenFlatCurry , Generators.GenTypedFlatCurry , Generators.GenTypeAnnotatedFlatCurry , Html.CurryHtml , Html.SyntaxColoring , IL , IL.Pretty , IL.ShowModule , IL.Type , IL.Typing , Imports , Interfaces , Modules , TokenStream , Transformations , Transformations.CaseCompletion , Transformations.CurryToIL , Transformations.Derive , Transformations.Desugar , Transformations.Dictionary , Transformations.Lift , Transformations.Newtypes , Transformations.Qual , Transformations.Simplify Other-Modules: Paths_curry_frontend ghc-options: -Wall -fno-warn-orphans Executable curry-frontend hs-source-dirs: src Main-is: cymake.hs default-language: Haskell2010 Build-Depends: base == 4.* , containers , curry-base == 1.1.0 , curry-frontend , directory , extra >= 1.4.6 , filepath , mtl , pretty , process , set-extra , transformers if flag(network-uri) build-depends: network-uri >= 2.6 else build-depends: network < 2.6 ghc-options: -Wall -fno-warn-orphans Test-Suite test-frontend type: detailed-0.9 hs-source-dirs: test default-language: Haskell2010 test-module: TestFrontend build-depends: base == 4.*, Cabal >= 1.20, curry-base == 1.1.0 , curry-frontend, filepath