tala-frontend-0.1.0: tala-frontend.cabal

cabal-version: 3.12
-- SPDX-FileCopyrightText: 2026 Progmasoft <support@progmasoft.com>
-- SPDX-License-Identifier: MPL-2.0 WITH AdditionRef-Progmasoft-Exception-1.1
name: tala-frontend
version: 0.1.0
synopsis: Tala resolution and type-checking frontend
description:
    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.
license: MPL-2.0
license-files:
    LICENSE
    LICENSE-EXCEPTION
author: Progmasoft
maintainer: support@progmasoft.com
homepage: https://tala.run/
bug-reports: https://github.com/Progmasoft/tala/issues
category: Language, Compiler
tested-with: GHC ==9.10.3
build-type: Simple

library
    exposed-modules:
        Progmasoft.Tala.Closure.Analysis
        Progmasoft.Tala.ConstantEvaluation
        Progmasoft.Tala.BuiltinTypes
        Progmasoft.Tala.Frontend
        Progmasoft.Tala.IntegerEvaluation
        Progmasoft.Tala.NumericSemantics
        Progmasoft.Tala.Resolver.NameResolution
        Progmasoft.Tala.Resolver.Renamer
        Progmasoft.Tala.SourceSet
        Progmasoft.Tala.TemplateValue
        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.TypeClassification
        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
    hs-source-dirs: src
    build-depends:
        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,
        text >=2.1 && <2.3,
        tala-syntax >=0.1.0 && <0.2
    default-language: GHC2024

source-repository head
    type: git
    location: https://github.com/Progmasoft/tala
    subdir: Talac/Haskell/Frontend