package.yaml

name:        smalltt
version:     0.2.0.2
license:     MIT
category:    Language
description: "Demo for high-performance elaboration with dependent types"
author:      "András Kovács"
maintainer:  "puttamalac@gmail.com"
copyright:   "2021 András Kovács"

flags:
  dump:
    description: dump core, stg and cmm to files
    default: false
    manual: true
  llvm:
    description: use llvm for codegen
    default: false
    manual: true
  debug:
    description: turn on debug info printing
    default: false
    manual: true

dependencies:
- base >= 4.7 && < 5

default-extensions:
  - AllowAmbiguousTypes
  - BangPatterns
  - BlockArguments
  - CPP
  - ConstraintKinds
  - DataKinds
  - DerivingVia
  - ExplicitNamespaces
  - FlexibleContexts
  - FlexibleInstances
  - FunctionalDependencies
  - GADTs
  - InstanceSigs
  - ImplicitParams
  - KindSignatures
  - LambdaCase
  - MagicHash
  - MultiParamTypeClasses
  - PackageImports
  - PatternSynonyms
  - PolyKinds
  - QualifiedDo
  - RankNTypes
  - ScopedTypeVariables
  - StandaloneDeriving
  - StandaloneKindSignatures
  - Strict
  - TemplateHaskell
  - TypeApplications
  - TypeFamilies
  - TypeFamilyDependencies
  - UndecidableInstances
  - UnboxedTuples
  - UnboxedSums
  - ViewPatterns

ghc-options:
  - -Wall
  - -Wno-name-shadowing
  - -Wno-unused-binds
  - -Wno-unused-matches
  - -Wno-missing-signatures
  - -Wno-unused-do-bind
  - -Wno-unticked-promoted-constructors
  - -fmax-worker-args=20
  - -fworker-wrapper-cbv
  - -fexpose-all-unfoldings
  - -O2
  - -fplugin StrictImplParams

when:
  - condition: flag(dump)
    ghc-options:
      - -ddump-simpl
      - -ddump-stg-final
      - -ddump-cmm
      - -dsuppress-all
      - -dno-suppress-type-signatures
      - -ddump-to-file
  - condition: flag(llvm)
    ghc-options:
      - -fllvm
  - condition: flag(debug)
    cpp-options:
      - -DDEBUG

library:
  source-dirs:
    - src
  dependencies:
    - bytestring
    - primdata
    - dynamic-array
    - flatparse
    - template-haskell
    - containers
    - time
    - ghc-prim
    - strict-impl-params

executables:
  smalltt:
    source-dirs:
      - smalltt
    main:
      Main.hs
    ghc-options:
      - -rtsopts
      - -threaded
      - -with-rtsopts= "-A64M -s -N8"
    dependencies:
      - bytestring
      - dynamic-array
      - flatparse
      - primdata
      - strict-impl-params
      - smalltt
    when:
    - condition: false
      other-modules: Paths_smalltt