additional-cabals/curry-base-1.1.0.cabal

+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.cabal

+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

packages.txt

@@ -565,6 +565,7 @@ mmorph 1.1.2
 mockery 0.3.5
 monad-control 1.0.2.3
 monadcryptorandom 0.7.2.1
+monad-gen 0.3.0.1
 monad-journal 0.8.1
 monadLib 3.7.3
 monadlist 0.0.2
@@ -638,6 +639,7 @@ optparse-simple 0.1.0
 pandoc 2.2.1 key -fhttp-conduit
 pandoc-citeproc 0.14.3.1 -fbibutils -f-hexpat -funicode_collation
 pandoc-citeproc-preamble 1.2.3 binary
+pandoc-sidenote 0.19.0.0
 pandoc-types 1.17.5.1 notest # Disable tests to avoid dep on string-qq
 pango 0.13.5.0
 panic 0.4.0.1