tala-frontend-0.2.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-2.0
name: tala-frontend
version: 0.2.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 2.0
    (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.Testing
        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.2.0 && <0.3
    default-language: GHC2024

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