Hackage :: [Package]

tala-compiler: Target-independent Tala compiler driver

[ compiler, language, library, mpl ] [ Propose Tags ] [ Report a vulnerability ]

The target-independent driver of the Tala compiler: it runs the frontend and Core over a program and produces verified CorePrep. . This is an implementation package of the Tala compiler. Its modules may change in any release; tools should depend on tala-tooling instead. . The source is also offered under the Progmasoft Linking Exception 1.1 (LICENSE-EXCEPTION), an additional permission to MPL-2.0 for works that combine this package with independent code.

Modules

  • Progmasoft
    • Tala
      • Progmasoft.Tala.AST
      • Progmasoft.Tala.BuiltinTypes
      • Progmasoft.Tala.CharacterLiteral
      • Closure
        • Progmasoft.Tala.Closure.Analysis
      • Progmasoft.Tala.Compiler
      • Progmasoft.Tala.ConstantEvaluation
      • Progmasoft.Tala.Core
        • Progmasoft.Tala.Core.Artifact
        • Progmasoft.Tala.Core.CorePrep
          • Progmasoft.Tala.Core.CorePrep.Verifier
          • Progmasoft.Tala.Core.CorePrep.Wire
            • Progmasoft.Tala.Core.CorePrep.Wire.Decode
            • Progmasoft.Tala.Core.CorePrep.Wire.Encode
            • Progmasoft.Tala.Core.CorePrep.Wire.Format
        • Progmasoft.Tala.Core.Monomorphization
        • Progmasoft.Tala.Core.Optimizer
          • Progmasoft.Tala.Core.Optimizer.IntegerFacts
        • Progmasoft.Tala.Core.Scalar
        • Progmasoft.Tala.Core.Specialization
        • Progmasoft.Tala.Core.Symbols
        • Progmasoft.Tala.Core.Template
        • Progmasoft.Tala.Core.Verifier
        • Progmasoft.Tala.Core.Wire
      • Progmasoft.Tala.Desugarer
      • Progmasoft.Tala.Diagnostic
        • Progmasoft.Tala.Diagnostic.Protocol
        • Progmasoft.Tala.Diagnostic.SideChannel
      • Driver
        • Progmasoft.Tala.Driver.Command
      • Progmasoft.Tala.FloatingLiteral
      • Progmasoft.Tala.Frontend
      • Progmasoft.Tala.Lexer
      • Progmasoft.Tala.NestingLimits
      • Progmasoft.Tala.NumericLiteral
      • Progmasoft.Tala.NumericSemantics
      • Progmasoft.Tala.Parser
      • Pipeline
        • Progmasoft.Tala.Pipeline.Stage
      • Resolver
        • Progmasoft.Tala.Resolver.NameResolution
        • Progmasoft.Tala.Resolver.Renamer
      • Progmasoft.Tala.RuntimeCall
      • Progmasoft.Tala.SourceSet
      • Progmasoft.Tala.SourceText
      • Progmasoft.Tala.SourceWarnings
      • Template
        • Progmasoft.Tala.Template.Application
        • Progmasoft.Tala.Template.Discovery
        • Progmasoft.Tala.Template.Freshen
        • Progmasoft.Tala.Template.Instantiation
        • Progmasoft.Tala.Template.Mangling
        • Progmasoft.Tala.Template.MemberReachability
        • Progmasoft.Tala.Template.Specialization
          • Progmasoft.Tala.Template.Specialization.Verifier
        • Progmasoft.Tala.Template.Verifier
      • Progmasoft.Tala.TemplateValue
      • Progmasoft.Tala.TypeChecker
      • Progmasoft.Tala.TypeClassification

Downloads

Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees

Candidates

  • No Candidates
Versions [RSS] 0.1.0
Dependencies base (>=4.20 && <4.23), bytestring (>=0.12 && <0.14), tala-core (>=0.1.0 && <0.2), tala-frontend (>=0.1.0 && <0.2), tala-syntax (>=0.1.0 && <0.2), text (>=2.1 && <2.3) [details]
Tested with ghc ==9.10.3
License MPL-2.0[multiple license files]
Author Progmasoft
Maintainer support@progmasoft.com
Uploaded by Progmasoft at 2026-10-24T14:40:29Z
Category Language, Compiler
Home page https://tala.run/
Bug tracker https://github.com/Progmasoft/tala/issues
Source repo head: git clone https://github.com/Progmasoft/tala(Talac/Haskell/Driver)
Distributions
Reverse Dependencies 1 direct, 0 indirect [details]
Downloads 3 total (3 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs not available [build log]
All reported builds failed as of 2026-10-24 [all 2 reports]