name:                raw-feldspar
version:             0.2
x-revision: 1
synopsis:            Resource-Aware Feldspar
description:         An implementation of the Feldspar EDSL with focus on
                     resource-awareness.
                     .
                     Examples can be found in the @examples/@ directory. The
                     files named "TutN_..." can be studied as a tutorial (to be
                     read in ascending order).
                     .
                     For more information, see the README:
                     <https://github.com/Feldspar/raw-feldspar/blob/master/README.md>
                     .
                     To see which GHC versions RAW-Feldspar can be built with,
                     consult the Travis status page:
                     <https://travis-ci.org/Feldspar/raw-feldspar>
license:             BSD3
license-file:        LICENSE
author:              Emil Axelsson
maintainer:          78emil@gmail.com
copyright:           Copyright (c) 2016 Anders Persson, Anton Ekblad, Emil Axelsson,
                                        Josef Svenningsson, Koen Claessen, Markus Aronsson,
                                        Máté Karácsony
                     Copyright (c) 2015 Emil Axelsson
homepage:            https://github.com/Feldspar/raw-feldspar
bug-reports:         https://github.com/Feldspar/raw-feldspar/issues
category:            Language
build-type:          Simple
cabal-version:       >=1.10

extra-source-files:
    README.md
    examples/*.hs
    tests/*.hs

source-repository head
  type:      git
  location: https://github.com/Feldspar/raw-feldspar.git

library
  exposed-modules:
    Data.Inhabited
    Data.TypedStruct
    Data.Selection
    Feldspar.Primitive.Representation
    Feldspar.Primitive.Backend.C
    Feldspar.Representation
    Feldspar.Sugar
    Feldspar.Frontend
    Feldspar.Optimize
    Feldspar
    Feldspar.Run.Representation
    Feldspar.Run.Concurrent
    Feldspar.Run.Compile
    Feldspar.Run.Frontend
    Feldspar.Run.Marshal
    Feldspar.Run
    Feldspar.Data.Array
    Feldspar.Data.Buffered
    Feldspar.Data.Option
    Feldspar.Data.Queue
    Feldspar.Data.Storable
    Feldspar.Data.Validated
    Feldspar.Data.Vector
    Feldspar.Processing.Filters

  other-modules:
    Data.Inhabited.TH

  default-language: Haskell2010

  default-extensions:
    ConstraintKinds
    DefaultSignatures
    DeriveFunctor
    DeriveFoldable
    DeriveTraversable
    FlexibleContexts
    FlexibleInstances
    FunctionalDependencies
    GADTs
    GeneralizedNewtypeDeriving
    MultiParamTypeClasses
    PatternSynonyms
    Rank2Types
    RecordWildCards
    PartialTypeSignatures
    ScopedTypeVariables
    StandaloneDeriving
    TypeFamilies
    TypeOperators
    ViewPatterns

  build-depends:
    array,
    base < 5,
    constraints,
    containers,
    data-default-class,
    data-hash,
    imperative-edsl >= 0.7,
    -- hardware-edsl >= 0.1.0.2,
    language-c-quote,
    mtl,
    operational-alacarte,
    prelude-edsl >= 0.4,
    syntactic >= 3.6.1,
      -- Smallest version that has `instD`
    template-haskell

  hs-source-dirs: src

  ghc-options:
    -fno-warn-partial-type-signatures

test-suite NumSimpl
  type: exitcode-stdio-1.0

  hs-source-dirs: tests

  main-is: NumSimpl.hs

  default-language: Haskell2010

  build-depends:
    base,
    mtl,
    raw-feldspar,
    syntactic,
    tasty-quickcheck,
    tasty-th

test-suite Compilation
  type: exitcode-stdio-1.0

  hs-source-dirs: tests

  main-is: Compilation.hs

  default-language: Haskell2010

  build-depends:
    base,
    mtl,
    raw-feldspar

test-suite Semantics
  type: exitcode-stdio-1.0

  hs-source-dirs: tests

  main-is: Semantics.hs

  default-language: Haskell2010

  default-extensions:
    FlexibleContexts
    ScopedTypeVariables

  build-depends:
    base,
    QuickCheck,
    raw-feldspar,
    tasty,
    tasty-quickcheck,
    tasty-th

test-suite Examples
  type: exitcode-stdio-1.0

  hs-source-dirs: tests examples

  main-is: Examples.hs

  default-language: Haskell2010

  build-depends:
    base,
    QuickCheck,
    raw-feldspar,
    tasty,
    tasty-hunit,
    tasty-quickcheck