Hackage :: [Package]

tala-frontend: Tala resolution and type-checking frontend

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

Name resolution, renaming and type checking of Tala programs, from the parsed syntax tree to the typed one. . 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.BuiltinTypes
      • Closure
        • Progmasoft.Tala.Closure.Analysis
      • Progmasoft.Tala.ConstantEvaluation
      • Progmasoft.Tala.Frontend
      • Progmasoft.Tala.IntegerEvaluation
      • Progmasoft.Tala.NumericSemantics
      • Resolver
        • Progmasoft.Tala.Resolver.NameResolution
        • Progmasoft.Tala.Resolver.Renamer
      • Progmasoft.Tala.SourceSet
      • 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.TypeChecker.Branching
        • Progmasoft.Tala.TypeChecker.Console
        • Progmasoft.Tala.TypeChecker.Context
        • Progmasoft.Tala.TypeChecker.Enums
        • Progmasoft.Tala.TypeChecker.Format
        • Progmasoft.Tala.TypeChecker.Literals
        • Progmasoft.Tala.TypeChecker.Loops
        • Progmasoft.Tala.TypeChecker.Returns
      • 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), containers (>=0.7 && <0.9), directory (>=1.3 && <1.4), filepath (>=1.5 && <1.6), 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:26Z
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/Frontend)
Distributions
Reverse Dependencies 2 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]