require/package.yaml at master · Neuromancer42/require · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
name: require
version: 0.0.1
category: Development
synopsis: A language that handles input with failure probablity.

stability: alpha
maintainer: Yifan Chen <chenyifan_1997@hotmail.com>
copyright: (c) 2017 Yifan Chen (Neuromancer42)
license: BSD3
github: Neuromancer42/ministgwasm

extra-source-files:
  - LICENSE
  - README.md

build-tools: alex, happy

ghc-options: -Wall

library:
  source-dirs:
      - src
  exposed-modules:
      - Language.Require.Syntax
      - Language.Require.Lexer
      - Language.Require.Parser
      - Language.Require.TypeCheck
      - Language.Require.Analysis
      - Language.Require.Eval

executables:
  require-test:
    source-dirs: app
    main: test.hs
    dependencies:
        - require

dependencies:
    - base >= 4.8 && < 5
    - containers
    - mtl
    - array