visualize-type-inference-0.0.1.0: visualize-type-inference.cabal

cabal-version: 1.12

-- This file has been generated from package.yaml by hpack version 0.38.1.
--
-- see: https://github.com/sol/hpack

name:           visualize-type-inference
version:        0.0.1.0
synopsis:       Simulate simple constraint-based type inference
description:    Constraint-based inference for simple types is traced step-by-step, both for the original algorithm J that eagerly applies substitutions gained from unification, and a more modern conception that separates constraint generation from constraint solving.
category:       Teaching
homepage:       https://github.com/teach-plt/visualize-type-inference#readme
bug-reports:    https://github.com/teach-plt/visualize-type-inference/issues
author:         Andreas Abel
maintainer:     Andreas Abel
copyright:      Andreas Abel, 2024
license:        BSD3
license-file:   LICENSE
build-type:     Simple
tested-with:
    GHC == 9.12.2
  , GHC == 9.10.3
  , GHC == 9.8.4
  , GHC == 9.6.7
  , GHC == 9.4.8
  , GHC == 9.2.8

source-repository head
  type: git
  location: https://github.com/teach-plt/visualize-type-inference

executable visualize-type-inference
  main-is: Main.hs
  other-modules:
      ColorOption
      Lam.Abs
      Lam.Lex
      Lam.Par
      Lam.Print
      License
      Options
      Paths_visualize_type_inference
  hs-source-dirs:
      src
  default-extensions:
      BlockArguments
      FlexibleInstances
      ImportQualifiedPost
      LambdaCase
      MultiWayIf
      OverloadedStrings
      RecordWildCards
      ScopedTypeVariables
      TypeSynonymInstances
  build-tools:
      alex
    , happy
  build-depends:
      ansi-terminal
    , array
    , base >=4.15 && <5
    , containers
    , mtl
    , optparse-applicative
    , prettyprinter
    , prettyprinter-ansi-terminal
    , string-qq
  default-language: Haskell2010