curry-frontend: Compile the functional logic language Curry to several intermediate formats

[ bsd3, language, library, program ] [ Propose Tags ]

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

Versions [faq] 0.1, 0.2, 0.2.1, 0.2.2, 0.2.3, 0.2.4, 0.2.5, 0.2.6, 0.2.7, 0.2.8, 0.2.9, 0.2.10, 0.2.11, 0.2.12, 1.0.1, 1.0.2, 1.0.3, 1.0.4
Change log CHANGELOG.md
Dependencies base (==4.*), containers, curry-base (==1.1.0), curry-frontend, directory, extra (>=1.4.6), filepath, mtl, network (<2.6), network-uri (>=2.6), pretty, process, set-extra, transformers [details]
License BSD-3-Clause
Author Wolfgang Lux, Martin Engelke, Bernd Brassel, Holger Siegel, Bjoern Peemoeller, Finn Teegen
Maintainer fte@informatik.uni-kiel.de
Category Language
Home page http://curry-language.org
Source repo head: git clone https://git.ps.informatik.uni-kiel.de/curry/curry-frontend.git
Uploaded by CurryLanguage at Tue Feb 5 14:13:26 UTC 2019
Distributions Debian:1.0.2, NixOS:1.0.4
Executables curry-frontend
Downloads 9525 total (584 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Hackage Matrix CI
Docs not available [build log]
All reported builds failed as of 2019-02-05 [all 3 reports]

Modules

  • Base
    • 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
    • Env.Class
    • Env.Instance
    • Env.Interface
    • Env.ModuleAlias
    • Env.OpPrec
    • Env.Type
    • Env.TypeConstructor
    • Env.Value
  • Exports
  • Files
    • Files.CymakePath
  • Generators
    • Generators.GenAbstractCurry
    • Generators.GenFlatCurry
    • Generators.GenTypeAnnotatedFlatCurry
    • Generators.GenTypedFlatCurry
  • Html
    • 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

Flags

NameDescriptionDefaultType
network-uri

Get Network.URI from the network-uri package

EnabledAutomatic

Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info

Downloads

Maintainer's Corner

For package maintainers and hackage trustees